Data.Functor.Of

data Of a b