If we could do it all over again, could pure be a method of the Functor typeclass?

Heh, yeah, I guess so!