Composing monads using coproducts.

Christoph Lth, Neil Ghani

Browse the full ICFP paper archive.