There is logic to collapse the imports suggested when data Foo = Foo | Bar, so that only the dctor import version (Foo(...)) is offered, but this is being applied incorrectly:
data Random = Foo Foo
data Foo = Foo1 | Foo2
Only the data contstructor Foo :: Foo -> Random is offered, leading to Random(...) import, but I want Foo or Foo(...). If we can't determine the type/dctor relationship we shouldn't make any decisions based on it.
There is logic to collapse the imports suggested when
data Foo = Foo | Bar, so that only the dctor import version (Foo(...)) is offered, but this is being applied incorrectly:Only the data contstructor
Foo :: Foo -> Randomis offered, leading toRandom(...)import, but I wantFooorFoo(...). If we can't determine the type/dctor relationship we shouldn't make any decisions based on it.