functor(Cons, Functor) functor(F, Functor)