Кстати
Еще к этому:

Вообще-то упорное нежелание поддерживать средствами систем типов вариант "значение не определено" несколько удивляет - потому как делается несложно, и кроме того, что повышает читаемость и позволяет на уровне системы типов отслеживать этот вопрос, еще и просто полезно как распространенный случай представления данных (как в этом примере например).

В общем тип 'a option рулит.