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 ...