More StateT - all bar distinctG left