Answered StateT.hs