I'm afraid I don't know, sorry! Sounds awesome. That said, similar concepts in a world where Monads exist include: Free monads, Freer monads, Final tagless enc

I'm afraid I don't know, sorry! Sounds awesome. That said, similar concepts in a world where Monads exist include: Free monads, Freer monads, Final tagless encoding.