STM package:monad-control