Я вот что хочу сказать)
Почему когда кто то сранивает скажем инстансы для классов хаскелевских с реализций интерфейса в ООП, сразу откуда то кто то внезапно берется и говорит ну это нельзя сравнивать , нет  даже не так, ЭТО НЕ ТЕ КЛАССЫ
А с чего блин они не те то? Мне как раз понимать проще было когда я в котлине представлял как бы выглядел интферфейс скажем
of
flatMap
И когда мы делаем для него инстанс  мы как бы имплементим интерфейс
Другое только дело что в котлине если мы ставим что мы имплементим без этого не скомпилится а вот в хаскеле компилится инстанст но просто тв варнингами

Кароч, Cmd и Sub - типы, входящие в класс моноидов и в класс функторов.

Аналог на Эльме лишним не будет :)

а по fantasy-land очень крутая серия статей — http://www.tomharding.me/fantasy-land/

Запили репу, будем контрибутить :)

приват/паблик?