Data.Maclaurin
data a :> b
type a :~> b

Misc