My typo started this most recent confusion. When I wrote

data AorB = A | B

compiles with error.
That raises the question of what it really means!

I meant to say  

data AorB = A | B

compiles without error.
That raises the question of what it really means!

-- Russ 


On Tue, Dec 14, 2010 at 1:04 PM, Tobias Brandt <tob.brandt@googlemail.com> wrote:
On 14 December 2010 22:02, Hector Guilarte <hectorg87@gmail.com> wrote:
> Tobias you replied at the same time I was answering, you did explained what
> is happening,
> however, you said something which isn't right. As I mentioned before, "Type
> Constructors" and
> "Value Constructors" are in different scopes, and so, their names can be
> used again...
> if you don't believe me, give it a try with this example.

I believe you. As I said, I was talking crap :-)