fn predicate_kind_discriminant<I: Interner>(value: &PredicateKind<I>) -> usize