Predicate existential types.
Provides newtypes Pet and PetRef for providing predicate accepted values and references respectively.
Pet
PetRef
License: MIT OR Apache-2.0