Allow TypeOperators with nonzero arity in typeclass constraints

[nsbgn]

If we have a parameterized type F and G and we say x << [F, G], we clearly mean that x is constrained to either F(...) or G(...).