does this have a name (recusive datatypes)

Hal Daume III hdaume@ISI.EDU
Wed, 10 Apr 2002 11:11:29 -0700 (PDT)


> >    map f (S a ss) = S (f a) (map f ss)

This should have been "... = S (f a) (map (map f) ss)" i believe. Sorry.