Updated readme. Added example and some background about monads.