An interpreter handling over effects for Eff It was used at ScalaMatsuri2020. PDF Slide Handout with Japanese comments YouTube