Book

Monadification of functional programs

by Martin Erwig