So? Other languages with pattern match similarly have such double indentation. C-style switch with unintended cases is weird.