A matcher is a function mapping objects to positive/negative matches.
the type of object to match
and
or
true