«

»

Type Hype.

Functions with two or more arguments of the same type should be forbidden or commutative.