Trends in Functional Programming - Aleksander Byrski, John Hughes (Springer, 2020)