Module Qcheck_extra.FunctorSource

Functor abstracts over type constructors that can be mapped over.

A Functor instance should satisfy:

• Composition: map f << map g = map (f << g)

• Identity: map id = id

assuming f << g = fun x -> g (f x) .