> it’s just silly to confine quasi-generics to those 2 places

Why is it silly?