Ответ тут только один — изучить немного хаскелля (или другого языка с HKT). Это важно, т.к. иначе придётся бороться с достаточно кривыми кодировками HKT. А потом написать инстансы для maybe/either/reader/writer/state
Никаких тайных истин там нет. Монады по своему использованию похожи на fold,map&Co. Последние абстрагируют часто встречающийся паттерн рекурсии, а монада вычисления с контекстом, которые тоже лезут отовсюду. Но из-за того что они крайне абстрактны — единственный способ понять: практика чтобы наработать интуицию