more thoughts about pattern matching stuff