It was discussed 27 days ago: Null-Restricted and Nullable Types

https://news.ycombinator.com/item?id=41136974