I was trying to figure out how to use a monad with a constraint (for MTL or free monad style monads), and came across this Reddit comment which mentions that it's supported. I've been unable to find any mention of this in the documentation, is it just outdated in that regard?
I was trying to figure out how to use a monad with a constraint (for MTL or free monad style monads), and came across this Reddit comment which mentions that it's supported. I've been unable to find any mention of this in the documentation, is it just outdated in that regard?