In GHC parlance, Var means type variable

[gergoerdi]

A very minor, but potentially confusing issue: it seems the LH <-> GHC interface uses GHC's Var type to store term-level variables (for example, see Language.Haskell.Liquid.GHC.Interface.availableVars). But in GHC, Var means type variable, and Id is used for term variables.

(The actual representation is the same for both, in fact it's the same even for typechecking metavariables, so this is purely about nomenclature).