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

А что с грином? Он там жив?)

именно с ГРИН-ом? грин уже вечность без движения, грушка переключился на стг-интерпретатор, упрощатель стг и прочее, а другой, который делал грин-бекенд для идриса теперь делает стг-бекенд для идриса-2, т.е. вся деятельность у них давно сместилась на гхц-ный бекенд как бекенд для любого языка который транслируется в стг и какие-то тулы, которые пользуются их стг-выхлопом для гхц.
да, когда-то они планировали этот стг-выхлоп делать чтоб грин бекенд для гхц написать, но именно на этом направлении ниче не делается давно, как я понял

По возможностям оптимизаций, он ничем от STG не отличается.
В общем-то, это одно и то же почти, только в GRIN вместо указателей - имена переменных.

отличается конечно! в стг сплош какие-то указатели на чет неизвестное, а в грине одни кейсы - все известно, оптимизируй и оптимизируй
(в далеком будущем, когда компьютеры будут тянуть полнопрограммный анализ реалистичных программ)

потому что мир несовершенен

почему компилятор не запрещает несовершенный мир??

несовершенный компилятор — часть несовершенного мира

вот возьмите и исправьте эту проблему

уже исправлена: мне насрать на то, кто компилятор не запрещает писать 15 = 1 + 13 и всем прочим тоже должно быть

А в хаскеле в каком-то виде можно реализовать теги для значений?
Т.е. каким-то образом сделать аналог вот такого кода на typescript https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgJKQLbIN4F8BQoksiKAygPZSQAmOyA+gwM5W0BcyAQhRQDYQ4IZASLR4SZAAUKzYGGAA3FNkYMADrPlKInHv0HCC+GAFcQCBRWEIAFhAQBrStQg0APABVkEAB6QQGmY0TAA+AApgTk8ASk5w7wAyZBdaGJx8ZCzkRTgoZCgIYIBeHAA6CuAAGjVWVxpOMChTCAJsgogwUyhhQuYAbnxjMwsrG3snGTkFZS8ffwhA4PQIDAio5Fj4pOktGYh07Ezs3Py+5FLsCrLqtU1pnUbm1uOswq6ejoGh-BNzS2A1mQIAgbim2mUAEFAqk3JFOCssMlwftkMlYTRDsYENZmGBkPJVgjMBccMYQWC9jpoTQMZFMDFBhSaCjqTC2HC7A5HKzlOEuU46YSMDFRUzQSyqVD2fV+RNnByaHLubyIPTVqLGUA

newtype Positive a = Positive a
newtype Sorted a = Sorted a
checkSorted :: Coercible a item => a -> Sorted a
checkPositive :: Coercible a item => a -> Positive a
needPositiveAndSorted :: Sorted (Positive a) -> ()

как самое простое решение

Ну я про ньютайпы тоже подумал. Но при этом важен порядок обертки, плюс перед каждой следующей проверкой надо разворачивать.

Хм, ну с coercible не надо будет разворачивать. Но порядок обертки же все равно важен?

порядок обертки тоже можно обойти при желании, но это наверное не очень удобно будет

data Tag = Sorted | Positive

newtype Tagged (ts :: [Tag]) a = Tagged a

такое сделать

такое уже есть

вроде даже поликаиндовое

останется только каинд сигнатуру написать