A friendly effect system for Haskell
BSD-3-CLAUSE License
An implementation of "Freer Monads, More Extensible Effects".
Extensible effects à la Oleg, but with fancier effect sets.
An effect system similar to mtl with explicit dictionary passing.
Functional Programming Course
freer monads and cofreer comonads.
A fast, flexible, fused effect system for Haskell
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
A small example of using mtl style to unit test effectful code
higher-order, no-boilerplate monads
An opinionated list of resources for learning Haskell
🚧 a work in progress effect system for Haskell 🚧
Control.Effects
Opinionated Haskell Interoperability
A higher-order effect system where the sky's the limit