The monad zipper (2010)

by T Schrijvers, B C d S Oliveira