Test Functor laws and modify Type's fmap.