Why don't we have an "`import` what you use" commandment in Haskell?

That’s actually a good thought! I don’t think its necessary that typeclass instances be available without explicit import, though it certainly has elements of convenience. A flag to toggle this behavior would be an interesting option for GHC, and it could in turn be used as a “linting” pass even if it isn’t typically enabled.