I was expecting to see something about the algebraic laws for functors and monads.