Represents some predicate against objects of type T.
The target type for this Spec
Enables function invocation syntax on Spec instances.