Type.Operators

type f $ a

type a & f