Чел, а что ты хочешь? Вот тебе отличный передовой, развитый язык с огромным разнообразием и возможностями. Нет - подавай что-то попроще, менее "чистое", без всяких эти адт и т.д. Вообще я бы серьезно подумал перед выбором ТС вместо той же джавы (если конечно такой выбор вообще существует в какой-то области). Если действительно надоело играться с языком, то займись просто интересными задачами. Не обязательно изучать типы с теоркатом, в статистике ещё больше всего интересного, даже если забыть про мл.
Я хочу пивка светлого. Сообщаю только потому что ты спросил.
И все мои "жалобы" наверху тоже были потому, что кто-то спросил, что не нравится.
Серьезно: хочу плюрализм, хочу чтобы мысль куда-то развивалась, хочу чтобы самый передовой язык не был так подозрительно похож на Хаскель (которому сто лет в обед), хочу увидеть эксперименты, например, хочу увидеть, возможно ли выражать Future/IO (не)чистоту каким-то более простым (субъективно - можете подставить просто "другим") способом, нежели чем как сейчас - в системе типов, хочу увидеть можно ли иметь ADT без использования наследования. Ну и пивка тоже....