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