Unrelated error message triggered on absent kind annotation.

Summary

On some inputs GHC complains about error in hi-file, while actual problem is related to kind checking.

Steps to reproduce

on loading of the attached file testcase.hs ghci-8.10.1 complains that

Can't find interface-file declaration for variable GHC.Types.$tcOrdering

The error disappears on giving ord variable explicit kind signature like (ord :: Ordering).

Expected behavior

GHC should either infer kind of ord automagically or complain about inability to infer ord's kind

Environment

• GHC version used: 8.10.1 , ghcup
• Operating System: Ubuntu-18.04
• System Architecture: amd64