Use strict version of StateT