5 results
Core data structures and operations
Haskell98 indexed functors, monads, comonads
Monad classes for transformers, using functional dependencies
Bifunctors
Pointed and copointed data