Composing Monads Using Coproducts (2002)

by Christoph Lüth, Neil Ghani