On 30/07/2015 at 13:11:15 +0200, Michael Schröder wrote: > atomicallyWithIO :: STM a -> (a -> IO b) -> IO b Shiny! On 30/07/2015 at 17:14:59 +0200, Michael Schröder wrote: > assuming enough people are interested. Not sure how many is enough, but count me interested ☺