McDermott, Dylan; Uustalu, Tarmo
(Springer, 2022-09-22)
When modelling side-effects using a monad, we need to equip the monad with effectful operations. This can be done by noting that each algebra of the monad carries interpretations of the desired operations. We consider the analogous situation for graded ...