Monomorphismus Einschränkung ausgelöst, wenn generische Instanz definiert

Question

Betrachten Sie das folgende:

{-# LANGUAGE TypeFamilies, FlexibleContexts, GADTs, MultiParamTypeClasses #-} 

type family F r 

class (Functor t) => T t r where 
    fromScalar :: r -> t r 

data Foo t r where 
    Foo :: t (F r) -> Foo t r 
    Scalar :: r -> Foo t r 

toF :: r -> F r 
toF = undefined 

convert :: (T t (F r)) 
    => Foo t r -> Foo t r 
convert (Scalar c) = 
    let fromScalar' = fromScalar 
    in Foo $ fromScalar' $ toF c 

Dieser Code mit GHC 7.8.4 kompiliert.

Wenn ich hinzufügen, eine generische Instanz für T (die FlexibleInstances erfordert):

instance (Functor t, Num r) => T t r 

GHC klagt:

Could not deduce (Num (F r)) arising from a use of ‘fromScalar’ 
    from the context (T t (F r)) 
     bound by the type signature for 
       convert :: (T t (F r)) => Foo t r -> Foo t r 
     at Main.hs:(17,12)-(18,23) 
    In the expression: fromScalar 
    In an equation for ‘fromScalar'’: fromScalar' = fromScalar 
    In the expression: 
     let fromScalar' = fromScalar in Foo $ fromScalar' $ toF c 

Ich erinnerte mich an this question, aber es scheint zu sein, einige wichtige Unterschiede. Zuerst und am wichtigsten, GHC beklagte sich nicht Vorinstanz. Zweitens habe ich nicht RankNTypes, die im Kern des Problems mit dieser Frage schien. Schließlich hilft das Hinzufügen von NoMonoLocalBinds nicht. Seltsamerweise, Hinzufügen NoMonomorphismRestrictiontut ändern Sie die Fehlermeldung von der Beschwerde über fromScalar zu der gleichen Nachricht über fromScalar'.

Natürlich ist das Problem ScopedTypeVariables durch Hinzufügen einer Art Signatur fromScalar und das Hinzufügen fixiert werden kann:

convert :: forall t r . (T t (F r)) 
    => Foo t r -> Foo t r 
convert (Scalar c) = 
    let fromScalar' = fromScalar :: F r -> t (F r) 
    in Foo $ fromScalar' $ toF c 

Ich bin bereit, etwas verrückt mit monomorphen Arten zuzugestehen ist hier bei der Arbeit, auch wenn die Einschränkungen entfernen hat nicht geholfen. Meine Frage ist: Warum wird die Beschränkung durch das Hinzufügen einer generischen Instanz ausgelöst? Noch wichtiger, warum versucht GHC, die generische Instanz zu vergleichen, anstatt die T (F r)-Einschränkung zu verwenden? Das scheint einfach falsch zu sein und riecht nach this bug.

Answer 1

Dies ist GHC Fehler #10338. Leider sieht es nicht so aus, als würde es bald gelöst werden.