GenM
status: experimental
module type MONAD = GenM_intf.MONAD
module Make (M : GenM.MONAD) : GenM_intf.S with module M = M