Module GenM_intf

module GenM_intf: sig .. end

type 'a gen = unit -> 'a option 
module type MONAD = sig .. end
module type S = sig .. end