okParent :: Name -> TyConParent -> Bool
okParent _       NoParentTyCon               = True
okParent :: Name -> TyConParent -> Bool
okParent _       NoParentTyCon               = True
okParent _       NoParentTyCon               = True