
14 Dec
2010
14 Dec
'10
9:04 p.m.
On 14 December 2010 22:02, Hector Guilarte
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 :-)