spent a few minutes on this.
exercise 1 finished.  no confidence that it's right. Should test functor laws to see.