Remove unused tyvar

I haven't compiled this, but it looks safe.