When I reference a data constructor from another module, and that data constructor is not in the import list, there is an option to have it added to the import list; unfortunately, it's treated as a type constructor and added to the import list as-is, instead of adding it to its type constructor's list of data constructors:
(... typeC, dataC, ...) needs to become (...typeC(dataC)...)
When I reference a data constructor from another module, and that data constructor is not in the import list, there is an option to have it added to the import list; unfortunately, it's treated as a type constructor and added to the import list as-is, instead of adding it to its type constructor's list of data constructors: (... typeC, dataC, ...) needs to become (...typeC(dataC)...)