Person. A. John Power Papers Two-dimensional monad theory blackwell_kelly_power_1989JPAA · 1989 Web A general coherence result power_1989JPAA · 1989