2017-11-30 Archiv

Type Hype.

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