isImplicitName :: Name -> Bool
-- An Implicit Name is one has a parent; that is, one whose definition
--- derives from tehe paren thing
+-- derives from the parent thing
isImplicitName name = isJust (nameParent_maybe name)
nameModule name = nameModule_maybe name `orElse` pprPanic "nameModule" (ppr name)