Central European Functional Programming School (Springer Berlin Heidelberg, 2020)