Implemented first few exercises from State chapter (state 'monad' is need for property testing library later on in the book)