because "when is not exhaustive" is not a type mis...
# announcements
y
because "when is not exhaustive" is not a type mismatch, it's a different kind of error