Matcher

data Matcher a b

run

equals

satisfies

converts

whatever