Leveraging the concreteness of the known monad type as the essence of Monad Transformers
A simple monad transformer: `IdentityT`