Eighth workshop on Mathematically Structured Functional Programming (MSFP 2020) https://msfp-workshop.github.io/msfp2020/