Module Relude_RIO
module WithErrorAndEnv: (ERR: BsBastet.Interface.TYPE) => (ENV: BsBastet.Interface.TYPE) => { ... };
Creates a RIO Monad with the given error and environment. e.g.
WithErrorAndEnv(ERR, ENV) = Rio(ENV.t => IO.t('a, ERR.t))
.