Haskell pattern matching and pattern overlap

In Haskell the patterns is written down one after another, it acts as a kind of case selection, when matching, those patterns are matched one by one, in the order that they are written down

In this case the order doesn't matter, they are distinct patterns, we can write it in different order with no problem