Examples of how monads and algebras relate to algebraic effect handlers - View it on GitHub