Remove redundant comment.
Add state combinators.
Add some explanations of pure state idioms.
Add basic examples about parallelism.