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