1 2 3 4
type Infix :: * -> * -> * data Infix a b = a :@: b -- Defined at <interactive>:2:18 infixl 4 :@: