Miley Semmelroth Amr Sabry Monadic Encapsulation in ML. 8-17 1999 ICFP http://doi.acm.org/10.1145/317636.317777 db/conf/icfp/icfp99.html#SemmelrothS99