. "74 475 * Check for data types in deriving Data, so that you can not do, say,476 deriving instance Data (IO a)477 478 * Decorate the derived binding with location info from the *instance* 479 rather than from the *tycon*." . . .