Adding fantasy-combinators

Adding fantasy-combinators to the example to give a more realistic account of the examples.
Also adding a very playful version of state promise example.