Ignore bound vars' context