GHC's error for uninferrable type variables does not have an error index.
add an error index
GHC 9.6.1