Finished State.hs
Half done with StateT.hs