Monadic Encapsulation in ML. - Miley Semmelroth; Amr Sabry (ICFP, 1999)