orphNamesOfType (ForAllTy bndr res)  = orphNamesOfType (binderKind bndr)
                                       `unionNameSet` orphNamesOfType res
orphNamesOfType (ForAllTy bndr res)  = orphNamesOfType (binderKind bndr)
                                       `unionNameSet` orphNamesOfType res
orphNamesOfType (ForAllTy bndr res)  = orphNamesOfType (binderKind bndr)
                                       `unionNameSet` orphNamesOfType res