tagged-identity

Trivial monad transformer that allows identical monad stacks have different types.