-- Void if it has kind Lifted
-- :Void otherwise
zonk_unbound_tyvar tv
- | kind == liftedTypeKind
+ | kind == liftedTypeKind || kind == openTypeKind
= tcPutTyVar tv voidTy -- Just to avoid creating a new tycon in
-- this vastly common case
| otherwise