Data.Vinyl.Functor
data Identity a
data Thunk a
data Lift op f g x
data Compose f g x
type f :. g
data Const a b