edit lecture: add cabal examples