However, when working with a Monad transformer stack, it is sometimes useful to be able to review the current environment, in which case one of
these more slightly more liberal type signatures may be beneficial to think of it as having:

However, when working with a Monad transformer stack, it is sometimes useful to be able to review the current environment, in which case one of
these more slightly more liberal type signatures may be beneficial to think of it as having: