В OCaml я привык писать код, который выглядел так:

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

Я не нашел способ написатьили-модель в Хаскеле, и я действительно скучаю по нему. у кого-нибудь есть решение?