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