Sophie
-- -*- M2-comint -*- {* hash: 159209999 *} i1 : fold(identity, a, {b,c,d,e}) o1 = ((((a, b), c), d), e) o1 : Sequence i2 :