Make PMatching a newtype for clarity.