Polymorphic Input Union Types