Modules in frege.control.monad