Verständnis GHC Fehler „Qualified Name in Bindungsposition“

Question

Wenn ich ein Modul AModule mit einem typeclass Foo, erstellen

module AModule where 
class Foo a where 
    bar :: a 

und in einem anderen Modul BModule Import AModule qualifiziert und versuchen, irgendeine Art eine Instanz von Foo zu machen, dh

GHC sagt mir "Qualifizierter Name in bindender Position: A.bar".

Von dem, was ich verstehe, bezieht sich das auf GHC ticket 3197, die als fest gekennzeichnet ist. Ich verwende GHC 6.12.1 und erhalte immer noch den Fehler. Versteh ich hier nur etwas falsch?

Answer 1

Sie benötigen die A. nicht innerhalb der Instanzdeklaration (siehe Haskell 98 report §4.3.2).

Folgende compiliert auf 6.12.3:

instance A.Foo Int where -- # A. here 
    bar = 0     -- # no A. here 

main = print (A.bar :: Int) -- # A. here