Yuheng Long, Yu David Liu, Hridesh Rajan: First-class effect reflection for effect-guided programming. OOPSLA 2016: 820-837