a -> b
as = coerce
newtype A = A Text
as @A "foo"
уверен, такой велосипед уже кем-то изобретён и в пакетах есть, можете подсказать?(
а coerce @_ @b не хочешь?
coerce называется
Ну там через улитку надо
Буду считать что нет аналогов тогда
это чтобы местами буковки поменять?
Обсуждают сегодня