> A quick look at the type-checker and analyze (in SSA) suggests that > nothing verfies that all Case transfers are either exhaustive or have > a default. By design? I guess needing to keep around defaults and > exhaustiveness could be inhibiting in some situations. Nope, not design. I think it would be good for the type checker to check exhaustiveness and irredundancy.