add cabal file into example/