Trends in Functional Programming Volume 9