Instead of enumerating every kind of type we can pass here, we can just spell out exactly what we need in the type.

Depends on D12492

Flow