A variation of the mtl, where type classes only contain algebraic effects/effect constructors - View it on GitHub