Polysemy

screenshot of Polysemy

:gemini: higher-order, no-boilerplate monads