Hello,

the error message 

"Unbound constructor A.a" 

does not tell if module A is currently accessible or not.
This makes programmers uncomfortable.

Is there any reason not to add this precision ?

Thanks
François Colonna