нельзя вместо него писать просто data? Зачем новое слово? Неужели нельзя научить компилятор самостоятельно находить все data вида "один конструктор с одним полем" и самостоятельно проводить ту оптимизацию, ради которой, как утверждается, используется newtype? А все эти приятности с лучшей читаемостью кода и множеством инстансов для одного типа можно делать и с data.
Семантика денотационная меняется
Обсуждают сегодня