edit lecture: correct lecture 10 about runghc