Maybe a second extractor would have been useful, that allows matching Pure with a single argument and ignores the second.