Monadic encapsulation in MLSemmelroth, Miley, Sabry, Amr·1999·Proceedings of the fourth ACM SIGPLAN international conference on Functional programmingDOI 10.1145/317636.317777