----------------------------------------------------------------------------
tyConParent :: TyCon -> TyConParent
tyConParent (AlgTyCon    {algTcParent = parent}) = parent
tyConParent :: TyCon -> TyConParent
tyConParent (AlgTyCon    {algTcParent = parent}) = parent
tyConParent (AlgTyCon    {algTcParent = parent}) = parent