General Pattern Matching (invited paper)