Trends in Functional Programming Volume 7