-- synonyms have their own constructors, below.
-- However, *unsaturated* type synonyms, and FunTyCons
-- do appear as TyConApps. (Unsaturated type synonyms
-- synonyms have their own constructors, below.
-- However, *unsaturated* type synonyms, and FunTyCons
-- do appear as TyConApps. (Unsaturated type synonyms