Magnus Carlsson Monads for incremental computing. 26-35 2002 ICFP http://doi.acm.org/10.1145/581478.581482 db/conf/icfp/icfp2002.html#Carlsson02