Day 4: Functor laws.