Freer_monad (preface.Preface_make.Freer

Using the minimal definition

Build a Preface_specs.FREER_MONAD over an arbitrary type with one type parameter ( Preface_specs.Types.T1).

module Over
  (T : Preface_specs.Types.T1) : 
  Preface_specs.FREER_MONAD with type 'a f = 'a T.t