Add implementation for statet exercise
Cleanup
Add StateT for an alternate form of Monad