ADTs have nothing to do with ML. They're an older and basic computer science concept.
So why do you have an opaque require? Just on simple duality grounds you should have both or neither. Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
