Ну так а в Хаскелле вместо andThen написано >>= - что, разве это сильно усложняет? Сделай себе алиас в Хаскелле andThen = (>>=) и используй себе andThen.

В do-нотации тоже нет ничего странного. Что там может вызывать сложность? Оператор <-? Ну так он просто распаковывает упакованное в обёртку значение. Если у нас result = Ok 4, то value <- result вытащит четвёрку из result и value будет иметь значение 4. Если result = Just "something", то value <- result присвоит переменной value значение "something". Но если result будет Err error или Nothing, то из-за того, что мы определили наши типы представителями класса монад, то дальнейшее вычисление прервется и нам не надо писать всяких if result ... then ... else и case result of для того, чтобы обработать эти случаи. Удобно же!

короче выяснили же, входной порог в Эльме достаточно низкий за счёт того, что приходящие из хоть немного функциональных языков типа Scala или знающих FRP почти сразу всё понимают и Elm предлагает им синтаксис проще чем в языках, из которых они пришли. Хаскель прекрасен привнесёнными им идеями, но слишком много абстракций. Кому-то это нормально заходит, но большинству либо нет, либо сильно не сразу — код на Хаскеле многим непонятен и требует повышенной концентрации при чтении кода.