Support wildcard patterns
CameLIGO (and likely other syntaxes, correct me if I am wrong) seems to not support wildcard patterns, eg:
type foo = A | B | C let f (i: foo) = match i with | A -> 1 | _ -> 0
Instad requires matching every variant. This is both cumbersome to write from UX perspective, and causes more code to be generated (since the user has to repeat the branches, and as far as I can see there is no common sub-expression elimination).
Being able to pattern match on just some of the constructors would be useful.