В хаскель-кафе чувак предложил убрать тип мейби, выразив его через Either (в качестве нулевых данных он, конечно же, выбрал пустую строку).