> I think there is some confusion about what ITERATE1 and CONSTRUCT1 > are. I have them as Duh! I had (mentally) moved the "most powerful" versions of ITERATE and CONSTRUCT to the head of the list. > signature ITERATE1 = > sig > type 'a t > val iterate: 'a t -> 'a -> unit > end It doesn't look like I can do much of anything with that.