freelude-0.1.0.1: A generalisation of the Category->Functor->Applicative->Monad hierarchy and more
Freelude.FunctionRestrictedFunctor
fmap :: (Functor FunctionP p, ra ~ FunctorT p a, rb ~ FunctorT p b, CategoryC FunctionP a b, CategoryC FunctionP ra rb, FunctorSrcC p a, FunctorDstC p b) => CategoryT FunctionP a b -> CategoryT FunctionP ra rb Source #