опять я всё перепутал

опять ты всё перепутал

тогда бы пришлось например при использовании MonadReader в функциях еще Monad запрашивать)

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

Вот вот. Заведу завтра иссуй. Через Dict-ы кстати наверное можно костыльнуть как раз

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

можно еще через unsafeCoercе свой инстанс заделать и в скоуп кода передать

Это побочный эффект UndecidableInstances: поскольку мы отложили вычисление цепочки инстансов до рантайма, то и бонусов от него не получим. Если убрать необходимость в UndecidableInstances, то снова работает, например,

module Smth where

class Eq a => X a
class Eq c => Y c
instance X a => Y [a]

Ага, только (что забавно) там должно лежать что то не совсем рандомное даже для доказательства a ~ b

Эм. До рантайма? Казалось бы, если например циклится - сразу говорит

Ну и если инстанса нет - тоже

Или это "рантайм компилятора" какой то?

а, вот оно что

Но так то пример интересный, спасибо

Как это говорит? В том-то и фишка UndecidableInstances, что компилятор не будет проверять тотальность и позволит писать штуки вроде

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

module Smth where

class Eq a => X a
class Eq c => Y c
instance (Eq a, X a) => Y a
instance (Eq a, Y a) => X a

В функциях говорит

$p1X :: forall a. X a => Eq a
$p1X = \(@a) ($x :: X a) ->
 case $x of $x { X eq _ -> eq }

x :: forall a. X a => a
x = \(@a) ($x :: X a) ->
 case $x of $x { X _ x -> x }

$cp1Y_r1R2 :: forall a. X a => Eq [a]
$cp1Y_r1R2 = \(@a) ($x :: X a) ->
 GHC.Classes.$fEq[] @a ($p1X @a $x)

$cy_r1Q8 :: forall a. X a => [a]
$cy_r1Q8 = \(@a) ($x :: X a) ->
 : @a (x @a $x) ([] @a)

$fY[] :: forall a. X a => Y [a]
$fY[] = \(@a) ($x :: X a) ->
 Y @[a] ($cp1Y_r1R2 @a $x) ($cy_r1Q8 @a $x)

действительно, без undecidable он вытаскивает eq из x

А, не говорит. Извиняюсь. Правда несуществующие инстансы и циклящиеся функции

Теперь страшно с этим жить

Мне почему то казалось, что он условно 200 редукций инстанса делает на компайл тайме, и если не получает - просит увеличить их количество