4 results
Lenses, Folds and Traversals
Adjunctions and representable functors
Core data structures and operations
Monad classes for transformers, using functional dependencies