I think it's reasonable to require that the categories have the same type as the inputs.