+mkWildCoVar :: Kind -> TyVar
+-- A type variable that is never referred to,
+-- so its unique doesn't matter
+mkWildCoVar kind
+ = ASSERT( isCoercionKind kind )
+ TyVar { varName = mkSysTvName wild_uniq (fsLit "co_wild"),
+ realUnique = _ILIT(1),
+ varType = kind,
+ isCoercionVar = True }
+ where
+ wild_uniq = mkBuiltinUnique 1