YR
хотя да, если репрезентация разная, то в compile time не преобразуешь, а инстанс - это компайл тайм. Альтернатива - TH выводить, хоть как и хоть из чего. Или дженериками, но там должны быть изоморфные структуры же
newtype X = X Int
deriving newtype Show
deriving Ord via Helper X
это то же самое что и
data X = X Int
instance Show X where
show = coerce (show :: Int -> String)
instance Ord X where
compare = coerce (compare :: Helper X -> Helper X -> Ordering)
