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