An example of what it could look like.
In F#, you can group cases together which have the same parameter type
match x with
| A i ->
// stuff1
| B s | C s | D s ->
// stuff2 on s
However you cannot group together cases with different parameters types
match x with
| A
The discussion around this would probably be helped by some specific use
cases.
In general, the pattern:
case someValue of
A ->
-- code
_ ->
-- in all other cases do this
doStuff
Suits me just fine.
And if I stumble upon something like this in my code:
case someValue of
A -