Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·2d·