proof of concept of the more type-safe way of defining the predicates.

proof of concept of the more type-safe way of defining the predicates. #2606