What's the point in using a Monad transformer with the Identity monad rather than just using the "standard" version of the transformer?
Is it more flexible?