Trends in Functional Programming - Jay McCarthy (Springer Berlin Heidelberg, 2014)