Resolving local function's type signatures

[mvoidex]

Trying to resolve this:

foo ∷ Int
foo = sq $ quux * 2 where
    sq ∷ Int → Int
    sq x = x * x

I get:

for foo — GlobalSymbol, it's ok:

Ident (Scoped (GlobalSymbol (Value {symbolModule = ModuleName () "HaskellNamesTest", symbolName = Ident () "foo"}) (Qual () (ModuleName () "HaskellNamesTest") (Ident () "foo"))) (SrcSpanInfo {srcInfoSpan = SrcSpan "HaskellNamesTest.hs" 9 1 9 4, srcInfoPoints = []})) "foo"

But for sq I get ScopeError (ENotInScope):

Ident (Scoped (ScopeError (ENotInScope (Qual (SrcSpanInfo {srcInfoSpan = SrcSpan "HaskellNamesTest.hs" 11 9 11 11, srcInfoPoints = []}) (ModuleName (SrcSpanInfo {srcInfoSpan = SrcSpan "HaskellNamesTest.hs" 11 9 11 11, srcInfoPoints = []}) "HaskellNamesTest") (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "HaskellNamesTest.hs" 11 9 11 11, srcInfoPoints = []}) "sq")))) (SrcSpanInfo {srcInfoSpan = SrcSpan "HaskellNamesTest.hs" 11 9 11 11, srcInfoPoints = []})) "sq"