Ist das erwartete Verhalten von Template Haskell?

Question

Kann jemand sagen, warum dieser Code nicht

data A = A { 
    _b :: B 
} 
makeLenses ''A 

type B = String 

mit Nachricht

Not in scope: type constructor or class B 

und tut dies nicht kompiliert:

type B = String 

data A = A { 
    _b :: B 
} 
makeLenses ''A 

Ohne makeLenses alles kompiliert in Ordnung.

Warum kann ich nach makeLenses keine synonim-Deklaration eingeben?

Answer 1

Nur die Definitionen vor dem Vorlagen-Hakellaufruf sind im Bereich verfügbar.

Siehe vorherige Frage zum gleichen Thema: Haskell: Template Haskell and the scope.