Prevent bad typeclass instances using good type errors.