[tmcl-wg] Why are datatypes not constrained?

[Lars Marius Garshol]

* Lars Heuer
>
> Seriously, why is it not possible create datatype-constraints? IMO it
> would be a bit short sighted to leave the datatype-constraints out.

Remember that the editors asked for feedback on the completeness of  
TMCL? I think you'll get this without any further argument. :)

For the record: I very much agree with the other Lars, of course.

--Lars M.