Здравствуйте, AndrewVK, Вы писали:

EP>>А почему void, а не Maybe?
AVK>Кстати да.

Думаю если if без else это Maybe, то по идее if+else это Variant (в таком случае есть некоторая симметрия: Maybe<T> это грубо говоря Variant<T, void>).
А сейчас видимо для if+else просто общий тип выводится?