Staged Reified Pattern Matching.