Trends in Functional Programming Volume 4