k. i think i see one case where it isn't: SelectProjection needs a concrete type, because if the value isn't already the right type, we construct one