Adding further examples to demonstrate monadic patterns with State