deriving via работает иначе, он позволяет работать с датами, но не так как выше


newtype Unshowable a = Unshowable a
instance Show (Unshowable a) where
 show _ = "unshowable"

data X = Y
 deriving Show via (Unshowable X)

то есть не важно, data или newtype - таргет для deriving via

важно, чтобы тип слева от deriving via был коерсибл в тип справа от deriving via

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

то есть смотрим пример

data X a = X a

f :: Show a => X a -> String
f (X a) = show a

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

а вот твой тип

data X a = Show a => X a
(по сути
data X a = X {Show a} a
}

f :: X a -> String
f (X a) = show a

вот тут Show инстанс явно не затребован f, что это за инстанс компилятору не было бы известно (ну на самом деле в этом примере очень дажно можно), НО он лежит прямо внутри X, и поэтому он может его использовать

вот примерный код сгенерированный

class MyShow a where
 myShow :: a -> String
 anotherFunction :: a -> ()

instance MyShow Int where
 myShow x = show x
 anotherFunction x = ()

data X a where
 X :: MyShow a => a -> X a

f :: MyShow a => a -> X a
f x = X x

g :: X a -> String
g (X x) = myShow x

-- Core:

myShow :: MyShow a => a -> String
myShow = \(@a) (inst :: MyShow a) ->
 case inst of inst
   MyShow myShow anotherFunction -> myShow

$fMyShowInt :: MyShow Int
$fMyShowInt =
 MyShow @Int
   (\(x :: Int) -> show @Int GHC.Show.$fShowInt x)
   (\_ -> GHC.Tuple.())

f :: MyShow a => a -> X a
f = \(@a) ($dMyShow_a :: MyShow a) (x :: a) ->
 X @a $dMyShow_a x

g :: X a -> String
g = \(@a) (d :: X a) ->
 case d of
   X $dMyShow_a x -> myShow @a $dMyShow_a x

кстати какие флаги юзать для такой чистоты выхлопа?

не думаю что есть такие флаги, я вручную вычищаю)

а вдруг?
ладно напиши свою команду, что ты используешь

да никакой команды, я копирую из репла в редактор, а потом

попробуй -dsuppress-all

много говна уберёт сразу

ещё можно -dsuppress-unique, правда бывает что убирает слишком много

неплохо, оно выкинуло все сигнатуры и все [], остается только вырезать коментарий и переименовывать переменные

а что такое [sk:1]?

что-то про skolem?

так напишите одну команду со всеми флагами

-O0 / -O по желанию

со стеком тоже самое?)

со стеком можно в ghc-options: добавить

в кабал файле