Re: STM check/MonadPlus