Trends in Functional Programming Volume 1