Dominic: matchers into traits