Added first Free monad example showing only the happy flow