5 results
Monads of program skeleta
Extensible optionally-pure exceptions
Core data structures and operations
filterable traversable
Concrete functor and monad transformers