советую посмотреть этот доклад (и параллельно писать то, что там), чувак очень доступно объяснил, как работает сервант и его тайп-левельная магия https://www.youtube.com/watch?v=gMDiKOuwLXw
Одни и те же люди ходят из чята в чат и начинают флудить на общие темы, как только наткнуться на таковые. И начинается всё с того, что "кто-то неправ" :)
Тут мы флудим только на темы "про редакторы", "ругаем Эльм", "ругаем Хаскель", или, вон, обсуждаем Эвана - обычные околоязыковые темы :)
Теория типов и прочие препроморфизмы, не упоминаемые в контексте "вот и этого в Elm нет!", пусть обсуждаются в другом месте - в хаскелечяте, например. Там любят оффтопы :)