varToId e           = error $ $(curLoc) ++ "varToId: not a var: " ++ showDoc e
varToId e           = error $ $(curLoc) ++ "varToId: not a var: " ++ showDoc e
varToId e           = error $ $(curLoc) ++ "varToId: not a var: " ++ showDoc e