GHCi: added STM.