This paper isn't from 2011, it was presented at the 2001 Haskell Workshop.