Module type Interfaces.Monad

module type Monad = Monad.S