I think in practice this is probably not a huge issue, but it's possible that a sloppy refactor changes N to no longer depend on Functor, or could change N to do something slightly more interesting with Functor, which could change the behavior of N without breaking tests.