Trends in Functional Programming Volume 7. (2005)