mkCoVar :: Name -> Type -> CoVar
-- Coercion variables have no IdInfo
mkCoVar name ty = mk_id name ty (LocalId NotExported) coVarDetails vanillaIdInfo
mkCoVar :: Name -> Type -> CoVar
mkCoVar name ty = mk_id name ty (LocalId NotExported) coVarDetails vanillaIdInfo
mkCoVar name ty = mk_id name ty (LocalId NotExported) coVarDetails vanillaIdInfo