Typeclasses for representing monad (transformer) morphisms - View it on GitHub