Update examples and cabal file