Module Monad

module Monad: sig .. end
See Monad_intf.

include Monad_intf.Monad