where clauses on contextually generic declarations