Control.Type.Operator

type (^>)

type a <^ b

type f $ a

type a & f

type (f $$ a) b

type (c1 % c2) a