Add Writer monad example.