There is somewhat related proposal about optionali...

# language-proposals

[dmitry.petrov]

There is somewhat related proposal about optionality and view patterns: https://youtrack.jetbrains.com/issue/KT-13333
Probably these two ideas can be combined into something interesting.