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

Tagged Identity

The library provides a monad transformer that works just like IdentityT, but can be tagged at the type level. This allows us to work with monad stacks as usual, except we can make two identical monad stacks to have different types. The main application for this is, of course, the ability to have different instances for otherwise identical stacks without having to do newtype wrapping.

Contribution

Issues, bugs, and questions may be reported in the GitHub issue tracker for this project.

Pull requests are also welcome.

License

Copyright © 2016–present Mark Karpov

Distributed under BSD 3 clause license.