главное понять…

Не наоборот разве?

Когда-то раздумываение над этой и ещё парой похожих сигнатур наконец привело меня к щелчку на тему монад и байндов

ну в хошкеле, конечно

не знал, что в консоле есть :t как в кашкеле, спасибо

Прикольно, конечно, но придется еще рассказать про kind projector. Проще таки ввести тайпалиас.

Что не так?

просто вбросы

но ведь без kind projector нельзя программировать на скале

Тебе что влом тайп лямбду записатт

только если в понятие "программировать на скале" входят монад трансформеры, что далеко не всегда верно

эх, если бы оно только с трансформерами было нужно

Т.е. где-то когда-то у меня щёлкнуло именно насчёт моноидов и монад.
Типа моноид берёт пару элементов и склеивает в один, либо предоставляет какой-то тривиальный элемент.
И вот посмотрев на этот инстанс монады для (->) R, у меня тоже щёлкнуло.
>>= берёт пару использований R и склеивает в одно, а return берёт просто элемент и добавляет к нему какое-то тривиальное использование R
И всё остальное сложилось после этого щелчка

ну ты бы постарался хотя бы, там есть и получше под твою задачу

Writer \ (w, ) конечно был идеальным мостом между моноидами и монадами

а вы точно тут джобсы обсуждаете?)

При этом я уже на скале пописал какой-то код с вебом и т.п.

Но монад не понимал

Да