Re: More about ADTs