hs-monads-tf-0.1.0.0p1 – Monad classes, using type families
Description
Monad classes using type families, with instances for various monad
transformers, inspired by the paper "Functional Programming with
Overloading and Higher-Order Polymorphism", by Mark P Jones.