Fix up the hanging issue - applicative can be hard!
More StateT progress