Trends in functional programming. Volume 4 (2005)