@exoteric: No doubt about that: http://research.microsoft.com/en-us/um/people/emeijer/Papers/ICFP06.pdf