PR #4: Report Eq and Ord instances that are written out