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