Type-level infix operators

[ppolesiuk]

We could implement infix operators on the level of types/modules. In order to avoid some syntactic ambiguities, the type-level operator as an identifier without arguments should be placed in square brackets. For instance, the product type could be defined as:

data [*] X Y = (,) of X, Y