edit lecture: cabal simplest example finished