Trends in Functional Programming - Van Horn; Hughes, John (Springer International Publishing, 2019)