Re: [Haskell-cafe] STM Finalizers

Em 30-07-2015 08:11, Michael Schröder escreveu:

my master's thesis [...] atomicallyWithIO :: STM a -> (a -> IO b) -> IO b

Isn't it beautiful? I wish mine could be summarized into a nice type signature :). Cheers, -- Felipe.