Module Preface_make.Clown

Clown can produces Bifunctor or Profunctor using a Functor (or a Contravariant) on the first argument of the Bi/Profunctor as described in Clowns to the Left, Jokers to the Right (Functional Pearl)

Bifunctor

Produces a Preface_specs.BIFUNCTOR using a Preface_specs.FUNCTOR as first argument.

Profunctor

Produces a Preface_specs.PROFUNCTOR using a Preface_specs.CONTRAVARIANT as first argument.