Learning different effect systems by example
- fused-effects: a fast, flexible, fused effect system.
- polysemy: higher-order, no boilerplate, zero-cost monads.
- transient: distributed, concurrent and parallel computations as primitives.
- capability: Standard capability type classes for extensional effects.
- rio: aka
ReaderT+IO.
- Tagless Final: aka final encoding
- MTL: Monad Transformers Library