I think the idea is that pattern matching and guards give you some additional guarantees above normal "strong typing". But I do agree with you.