Type Constraint Unions

Sometimes just one type is not enough ...