Data.Functor.Parametric

Documentation

class (Functor f, forall x y. Coercible x y => Coercible (f x) (f y)) => ParametricFunctor f

Functors which are properly parametric.

Laws:

• fmap coerce = coerce

Instances

(Functor f, forall x y. Coercible x y => Coercible (f x) (f y)) => ParametricFunctor f

Any lawful Functor is (almost certainly) already a lawful instance.

Defined in Data.Functor.Parametric