Proper StateT