pets (cargo): Predicate existential types.
Keywords: precondition|refinement-types|predicate