Module Relude_RIO

module WithError: (ERR: BsBastet.Interface.TYPE) => { ... };
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)).