Composing monads using coproducts

by Christoph Lüth, Neil Ghani
Venue:ACM SIGPLAN Notices