Что признается настоящей монадой?

У монады есть четкое определение. Все что выполняет требования этого определения будет честной не фейковой монадой. Классически всегда делают для демонстрации Maybe, да, ибо выгоды её использования видны и понятны не ФПшникам. И вот с этой точки зрения встает вопрос в разумности этого действия: реализовать монады то совсем не сложно на Go, но будут ли они действительно удобными инструментами в Go?...решение каких конкретно задач и проблем они упростят (или дадут альтернативу) в Go и упростят ли вообще? Мне кажется, учитывая топорность языка, не получится ничего лучше и приятнее идиоматичного кода =/ Если же все это "just for fun" и "потому что мы можем", то почему бы и нет)
Так как на Maybe Вы явно не нацелены, со своей стороны посоветую Вам монаду List отсюда: kolesnichenkods.github.io/2015/08/01/%D0%9C%D0%BE%...

Tyranron "У монады есть четкое определение" Два метода в интерфейсе и три закона вы имеете в виду?

Спасибо за ссылку, годная. Если не поленитесь написать ответ - отмечу решением.

uvelichitel: угу, если быть формально точным, то вот это: hackage.haskell.org/package/base-4.8.1.0/docs/Prel...
По поводу ответа, давайте обождем немного, возможно метры ещё подтянутся и расскажут чего интересного и полезного, потому что я Haskell только изучаю, более того, до фундаментального и глубокого изучения монад ещё и не дошел толком то....собственно потому и коммент написал, а не ответ.