It would be akin to a key path. The "\MyType.myCase" format looks just a nice as it does for actual key paths. We can call the subscript "case:" instead. Hopefully, we can make the parser accept "\MyType.myCase(myFirstPayload: mySecondPayload:)" syntax.