expanding examples to touch on patterns, monads and objects