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