И нет у хаскеля никакого криптосинтаксиса, есть только объявление типов (type level выражения) и объявление функций (term level выражения) и применение функции к параметрам
да вроде хватает всем. я не понимаю, зачем в Эльм-канале промоутить Хаскелль? Как раз Эльм дал возможность менее углублённым в ФП чувакам и тем, кто сильно пугался кода Хаскелля, понять основные принципы ML-языков в упрощённом виде, а затем уже продвигаться глубже, если очень хочется.
языков, в которых много фич и всё можно сделать, уже множество — выбирай не хочу. а строгих, но из-за этого понятных с первого прочтения кода, языков мало. и Эльм — один из них, как раз благодаря тому, что фичи запрещаются и даже убираются из языка.