Wrong type annotation on the generated binding in case of type shadowing

[miniBill]

module Foo exposing (a)

import Imported exposing (Foo(..))


type alias Foo a =
    Imported.Foo a


a : Foo Int
a =
    Debug.todo ""

Should codegen

module Gen.Foo exposing ( moduleName_, a, values_ )

{-|
# Generated bindings for Foo

@docs moduleName_, a, values_
-}


import Elm
import Elm.Annotation as Type


{-| The name of this module. -}
moduleName_ : List String
moduleName_ =
    [ "Foo" ]


{-| a: Foo.Foo Int -}
a : Elm.Expression
a =
    Elm.value
        { importFrom = [ "Foo" ]
        , name = "a"
        , annotation = Just (Type.namedWith [ "Foo" ] "Foo" [ Type.int ])
        }


values_ : { a : Elm.Expression }
values_ =
    { a =
        Elm.value
            { importFrom = [ "Foo" ]
            , name = "a"
            , annotation = Just (Type.namedWith [ "Foo" ] "Foo" [ Type.int ])
            }
    }

But instead it generates:

module Gen.Foo exposing ( moduleName_, a, values_ )

{-|
# Generated bindings for Foo

@docs moduleName_, a, values_
-}


import Elm
import Elm.Annotation as Type


{-| The name of this module. -}
moduleName_ : List String
moduleName_ =
    [ "Foo" ]


{-| a: Imported.Foo Int -}
a : Elm.Expression
a =
    Elm.value
        { importFrom = [ "Foo" ]
        , name = "a"
        , annotation = Just (Type.namedWith [ "Imported" ] "Foo" [ Type.int ])
        }


values_ : { a : Elm.Expression }
values_ =
    { a =
        Elm.value
            { importFrom = [ "Foo" ]
            , name = "a"
            , annotation =
                Just (Type.namedWith [ "Imported" ] "Foo" [ Type.int ])
            }
    }

The error doesn't happen if we don't import Foo from Imported

[miniBill]

This is the cause of dillonkearns/elm-pages#501