Reasoning about effect interaction by fusion - Yang, Z; Wu, N (Proceedings of the ACM on Programming Languages, 2021)