4 results
Core data structures and operations
Concrete functor and monad transformers
Open unions without need for Typeable
Monads for free