Repro case:

module Problem (A, A(..)) where
data A = B | C

import Problem (A(B,C))

Compiling the second file generates Module Problem does not export data constructor B for type A

I suggest giving an error for such shadowing or at least warning if such export might be useful in some case (which I can't think of).