We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
With deep handlers Writer handler cannot be tail recursive. Can irrefutable patterns fix this?
Writer
We used typed holes a lot for creating the implementation. Continuation based monad writes itself this way.
??? Handling an effect is a reflective operation on the monadic structure and thus cannot be implemented in continuation based form ???