Haskell - пусть связывание выбирает неверный экземпляр

Question

Следующий тест взял меня врасплох

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 
module Test where 

class Type t where 
    encodeToField :: t -> String 

class Rec r where 
    encodeToRec :: r -> String 

data X a b = X a b 

instance (Type t) => Rec t where 
    encodeToRec = encodeToField 

instance (Type t, Rec r) => Rec (X t r) where 
    encodeToRec (X t r) = 
     let x = encodeToField t 
      y = encodeToRec r 
     in x ++ y 

GHC терпит неудачу на этом с

Test.hs:19:17 
Could not deduce (Type r) arising from a use of `encodeToRec' 
from the context (Type t, Rec r) 

По какой-то причине GHC хочет использовать экземпляр Type t => Rec t в y = encodeToRec r, вместо просто беря Rec r из контекста объявления экземпляра.

Если избежать Выпускаемое связывания и вместо того, чтобы писать

instance (Type t, Rec r) => Rec (X t r) where 
    encodeToRec (X t r) = encodeToRec t ++ encodeToRec r 

компилирует.

Является ли это ошибкой в ​​ghc или должно ли это поведение ожидаться из-за используемых языковых расширений?

Answer 1

Этот запах очень похож на known bug: ваш код компилируется, когда я удаляю общий экземпляр, но GHC не находит установленное ограничение в его присутствии. У меня есть соответствующий вопрос SO here. Если это одна и та же ошибка, она может быть не исправлена ​​какое-то время (если вообще).