I do think the "type" vs. "who" distinction is meaningful. that's a good argument