http://mina7.net/en/grant/7100,summer-school-advanced-functional-programming-26-30-august-2019-utrecht-university-netherlands