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