We refer the reader to [8,31,35,60] for background on ordinary (graded) algebraic effects. For instance, the paint operation, taking τpaint time, is typed in λrτs as4 Γ $ V : Body ˆ Door ˆ Door Γ, xτpainty, x : rτdrys Body ˆ rτdrys Door ˆ rτdrys Door ...