5 results
Core data structures and operations
Haskell98 indexed functors, monads, comonads
Generalize do-notation to work on monads and indexed monads simultaneously.