title: Monad transformers with identity monad
body: <p>What's the point in using a Monad transformer with the Identity monad rather than just using the "standard" version of the transformer?</p>
  
  <p>Is it more flexible?</p>