todo: Document a couple things that the compiler should be better at.