Control.Type.Operator
type (^>)
type a <^ b
type f $ a
type a & f
type f $$ a
type family (c :: [k -> Constraint]) <+> (a :: k) where ...
type family (c :: k -> Constraint) <=> (as :: [k]) where ...