edit lecture: remove monad laws from lecture 14