I think both are not exhaustive (or don't have exhaustiveness enforced by the compiler).