Пробовал сделать монадой такой тип, показалось, что это упростит обработку, не получилось, стал разбираться - пришёл к такому выводу.

В принципе, мне этот тип как монада и не нужен, просто стало интересно почему так.