typelevel-1.0.4: Useful type level operations (type families and related operators).
Type.Operators
type ($) f a = f a infixr 0 Source
type (&) a f = f a infixl 1 Source