4 results
Core data structures and operations
Generic programming for families of recursive datatypes
Monad classes for transformers, using functional dependencies
Monadic parser combinators