Confusing type annotation error

[marcosh]

If I am importing two modules that expose the same type

import A exposing (T)
import B exposing (T)

and I'm using A.T where I am declaring instead a B.T, the compiler will return a message like

The type annotation says it is a:

    T

But the definition is a:

    T

It would be much more helpful if it would explicitely mention A and B.

You could see an example of this error here