<@U0FLRRSQK> I think it helps to think of it as a ...

# announcements

[jacob]

@Dmitry Kandalov I think it helps to think of it as a conversation with the compiler in this case. you have to tell it "I want an exhaustive switch on this object", but I agree, it would be nice if it could infer