Modules in frege.control.monad.trans