Gan Shen
Second this. Also, maybe it's just me, but I feel the window takes significantly more time than before to show up.
I don't have a more obvious and cleaner solution to this problem. But I really like your idea at the end: making the local monad (the second argument to `Choreo`)...
> Incidentally, it seems that this kind of location-specific state should be relatively common? Perhaps the constructors of (@) should be exported from Choreography? Yes, we'll make that change.