idToVar tv          = error $ $(curLoc) ++ "idToVar: tyVar: " ++ showDoc tv
idToVar tv          = error $ $(curLoc) ++ "idToVar: tyVar: " ++ showDoc tv
idToVar tv          = error $ $(curLoc) ++ "idToVar: tyVar: " ++ showDoc tv