Hi Julian, how are you?? Yes I've looked into amb. In practice I have no problem with the back-end implementation, I just wanted to provide a nice front-end for my DSL. I wonder if there is a way to generalize the concept, especially in the case with events of different types running in parallel: ShortcutEvents :: [Event a] -> ([Maybe a] -> Maybe b) -> Event b ShortcutEvents2 :: [Event a] -> [Event b] -> ([Maybe a] -> [Maybe b] -> Maybe c) -> Event c ShortcutEventsX ... My use case is the voting system of Nomyx, for which I need to run in parallel all the players votes plus a timer. Cheers Corentin On Mon, Sep 8, 2014 at 1:01 PM, Julian K. Arni wrote:

Are you looking for something like amb/unamb? [0] In particular, if you look at the comments in the source for 'race', it should be pretty intuitive how to go from there to "run x computations, kill the remaining ones after y return". You just need to fiddle with the MVar, possibly adding another thread and MVar that represents whether the calculation can already be completed.

[0] https://hackage.haskell.org/package/unamb-0.2.5/docs/src/Data-Unamb.html#amb