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.