Extensible Effects in the van Laarhoven Free Monad

Extensible Effects in the van Laarhoven Free Monad