Trivial monad transformer that allows identical monad stacks have different types - View it on GitHub