status: experimental
module type MONAD = GenM_intf.MONAD
module Make : functor (M : MONAD) -> GenM_intf.S with module M = M