Diagnosing type errors with class