narrowing constraint