В общем случае валидация данных отнюдь не про их длину или диапазон значений, а про взаимосвязи с остальными данными в системе, что предлагает некий вызов к остальным частям системы для получения этих данных. Я не понимаю, когда валидация сводится к «длина должна быть 24 символа». Это ведь так не работает в реальной жизни. А монада тут появляется как следствие накапливать ошибки валидации, чтобы сразу вернуть обратно все нарушения.