Deriving backtracking monad transformers (Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00), 2000)

(untitled) - Hinze, R