[Haskell-cafe] primitive operations in StateT