Predicates are type that determine if a value of a given type matches some criteria. They will be useful as a filter type.