Lazy patterns are like wild-cards for overlap warnings