4 lines
194 B
Plaintext
Raw Normal View History

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.