ну, осуждаю, потому что все еще думаю что это в голове неправильная интуиция у тебя, но че поделать
в конце логичен pure как раз потому что ты поднимаешь значение до монады, а не возвращаешь его. В доке return тоже прописан как "Inject a value into the monadic type." и все, никакого возврата
(Я если что понимаю, что функция возвращает то, что идёт после знака равно)
Proxy я правда тоже за легаси считаю, но есть кейсы когда без него нелья из-за того что нельзя пока тайпаппликейшен в паттернах конструктора использовать
Proxy я правда тоже за легаси считаю, но есть кейсы когда без него нелья из-за того что нельзя пока тайпаппликейшен в паттернах конструктора использовать
Если бы только это. Ещё с тайпклассами иногда без прокси не получается. Так что typeapplications не серебренная пуля пока