Under-appreciated unfold - Gibbons, J; Jones, G (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 1998)