edit lecture: finish monad laws and begin Maybe