No OCaml, eu estava acostumado a escrever código que se parecia com:

let combine o1 o2 = match o1, o2 with
    | Valid, Invalid | Invalid, Valid -> Invalid
    | _ -> ...

Não encontrei uma maneira de escreverou padrões em Haskell e eu realmente sinto falta. Alguém tem uma solução?