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