1. 8
  1.  

  2. 3

    Seems like the idea behind algebraic effects. Glancing at “Programming and Reasoning with Algebraic Effects and Dependent Types” I see the same type in the implementation. Is there any practical difference?