Questo comportamento atteso di Template Haskell?

Question

Chiunque può dire il motivo per cui questo codice non viene compilato

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

type B = String 

con il messaggio

Not in scope: type constructor or class B 

e questo fa:

type B = String 

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

Senza makeLenses tutto compila bene.

Perché non è possibile digitare la dichiarazione synonim dopo makeLenses?

Answer 1

Solo le definizioni precedenti alla chiamata haskell modello sono accessibili nell'ambito.

Vedere questa domanda precedente sullo stesso argomento: Haskell: Template Haskell and the scope.