Not necessarily. You can manually pass in the module for the monad using first-class modules and then define the functions in terms of that. You could also defi

Not necessarily. You can manually pass in the module for the monad using first-class modules and then define the functions in terms of that. You could also define those operations in terms of monads using a functor if you want it to look more like Haskell.