Értelek.
De két eset lehetséges: NEM JÖHET null, ekkor mondhatjuk, hogy nem nullable típust adunk vissza. Ha pedig JÖHET null, akkor meg ígyis-úgyis le kell kezelni, tökmindegy, hogy
if (ref != null), vagy
case maybeVal of Just val | Nothing.
Ez szemantikai szinten dől el.
Ez esetben pedig mégiscsak az Maybe/Optional a barátod, mert az pont ebbe a szemantikai képbe illik bele, ahogy a funkcionális nyelveknél mindenképpen lesz "visszatérési érték", azaz a kifejezésnek értéke.