https://5dok.net/document/z1drdwxv-st-master-course-advanced-functional-programming-tuesday-july.html