Так и что, почему можно сделать тот, который справа?

Из-за фигни, которая называется Unit coercion и работает только для лямбд.

Короче, по идее, любую лямбду должно быть можно приводить к лямбде, которая возвращает Unit. Смысл в том, что если у нас есть функция

fun foo(c: () -> Unit)

а ей передали

foo { 1 }

то смысла добавлять Unit в лямбду нет, соответственно, ругаться здесь не стоит. Однако, что-то пошло не так в паззлере.

Во, наконец-то нашёл

Идеалист во мне говорит, что 1.
Логическое мышление говорит, что 3.
А скилл решателя пазлеров 4

А там спецификацию языка часом не дописали? А то я смотрел много пазлеров Тагира, и вот там есть хотя бы истина в последней инстанции.

Дописали.

Мешает, в языке становится больше возможных подходов и решений для одних и тех же задач. Это очень сильно бьёт по стандартизации решений и порогу входа. Это хорошо для отдельного взятого индивида страдающего по выразительности и 'красоте' кода и совершенно отвратительно, для массового процесса разработки как такового.
Представь, что есть команда джавистов, которую берут скалу как беттер жабу, в один момент они натыкаются на то, что нужно дорабатывать или дебажить либу, в которой дофига hkt, это совершенно чуждая для них идея. Никто не захочет в это погружаться и работать в таком стиле, но придётся, потому-что кто-то напихал в язык дохера фич, и теперь в его экосистеме можно нарваться на что угодно.
При этом со стороны эта фича не даёт вообще ничего кроме чсв для разрабов.

С дуру можно и хер сломать, и на го рестуху писать

Я обычно перед использованием либы смотрю её код. Если там треш и угар, то не использую.

Как ни странно, но это не тот случай. Старые языки и подходы дедов вытесняются новыми, не просто так, а из-за экономических причин. На сях, тем более на асмах или коболах - писать очень дорого, очень медленно, их поддержка и доработка имеет чудовищную цену. На новых языках всё стало куда дешевле и оперативнее. Но такого нельзя сказать, ни про хаскели, ни про скалы итд фичастые штуки. Они не дают существенного преимущества по сравнению с уже старыми жабами, питонами и прочими языками. По факту получается, что это фичи ради фич, иначе бы выгоднее было нанять пачку фпшнтков, чем спринганов. и фичастые языки естевственным образом вытеснили бы старые.

и все тарнзитивные зависимости за одно? плюс может быть ситуация, когда выбирать надо меньшее из зол и один хрен либы так себе

разбудите меня через 100 лет и спросите, что происходит в pofftop-е, я отвечу - обсуждают политику и Антон воюет с фпшниками

нуачо помоему здравые аргументы

такое впечатление иногда что фпшники это секта которая ищет панацею. панацею от ошибок, своих, которые всеравно будут в коде, так или иначе. и ради того чтобы уменьшить их количество они готовы тащить непонятные основной массе людей языки, только чтобы не слышать от тестировщика что там что то плохо работает или падает или сделано не так. и иронично что это всеравно происходит. и получается что все их старания бессмысленны т.к. фп не помогло 😂. но тут включается синдром потраченого времени и им сложно отказаться, сложно повернуть назад, сказав “блядь, это нихуя не работает  мы дрочим дырки и дрочерство не помогает!” потому что васян из соседнего отдела делал и все еще.делает работу быстрее и лучше на других, не фпшных, инструментах, и тратит немного времени на исправление парочки багов, пока фпшник пытается доказать через типы какую то очередную теорему

Секта разумеется, так же как и секта тру-ооп, и секта свидетелей фортранаперформанса. Во-первых люди склонны искать miracle cure. Во-вторых хочется быть в чем-то круче окружающих (я вот понимаю, что тру, а вы туту все не понимаете). Ну и наконец есть немного странное наблюдение, что среди ФП-сектантов очень мало людей, которые реально на практике его применяют. Те, что применяют обычно гораздо более умерены. Среди любителей перформанса практически нет людей, которые умеют его мерить. Ну и тру-ООПшники зачастую (не всегда, разумеется), не имеют опыта разработки больших систем.