Они оба-два через coercion работают

угу

профита от такой оптимизации минимум, а проблем куча, и непонятные ограничения на конструктор, и поведение при матчинге не такое, и коерс какой-то магический непонятно откуда взявшийся, которого опасаются, наверное какой-то хак, а не естественная функция для этой фичи

«Я не доживу» — сказал Бог и заплакал

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

ну может если недокомпилировать с дешугарингом, то это не сильно замедлит, если в гхц апи вообще можно вклинится на этом этапе
одно время гхц с -но-код не показывал дешугаринг-тайм ворнинги, т.е. какой-нибудь ghcid в быстром режиме их не показывал, но это исправляли (в гхц)

как минимум конструктор ньютайпов можно было как-то отделить от конструкторов дат, чтобы fmap Newtype list не писали

потому что это и не конструктор вовсе, а подгонка синтаксиса к датам

разве опак аскрипшон в емеле это не альтернатива?

ну я не видел как в мл

я видел как в флоу

и в хаскеле пришлось бы делать много аннотаций

ща

какой-нибудь

nominal type Value = Int

и чтобы в пределах модуля Value и Int коерсились неявно, пушто это просто алиас, а в других модулях уже нет

такой синтаксис правда еще больше увеличил бы число тайп-аннотаций, да и id-функций пришлось бы больше писать и экспортировать, так что уж лучше такой как есть.

Хотя с другой стороны кода от аннотации не сильно больше, но это пока параметров нет
f :: Value -> a
g :: Int -> a
g x = f (x :: Value)
и
g x = f (Value x)
а когда нужно будет полиморфную функцию вызывать, придется все аннотировать явно в каждом месте для обоих типов

но никаких конструкторов нет при этом, а единственность значения тут чисто из-за того, что алиас не может быть на большее число типов чем 1

а тут ничего не написано про аннотации

но когда вызываешь show, пришлось бы уже указывать какой шоу

так в том и дело что отличается, весь смысл ньютайпов как фичи сначала был в этом отличии это потом уже ГНД/коэрс/виа добавились

в ленивости?

ну да

причем в такой разнице в ленивости, которую не давали строгие поля.