I don't know enough Haskell to really know what the article is talking about, but to my very untrained eye, the idea also seems a little like this Clojure library: https://github.com/tailrecursion/javelin