The title made me think of "You Could Have Invented Monads (And Maybe You Already Have)" (http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...), which according to one of the comments in http://blog.ezyang.com/2012/02/anatomy-of-you-could-have-inv... was inspired by this article