Dominique Devriese: Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. Haskell@ICFP 2019: 1-14