exception safe StateT