Вон F#овцы недовольны отсутствием HKT и люто ждут хоть какого-то аналога и себе в язык. Ибо там хватает людей, понимающих профиты от нормальной мощности системы типов.
Привычно != хорошо Человек - существо адаптирующееся. Нужно только не лениться
Эльм позволяет лениться и при этом избегать граблей средствами языка, я не знаю зачем нужны не-comparable ключи в словарях и почему для ключей недостаточно базовых типов
У меня есть живой пример, кстати. Человек имеет десятилетия опыта в индустрии, но опыта мейнстримового - Си/СиШарп/Джава. И ему очень сложно читать Elm, о понимании вообще речь не идёт