Janice Caron wrote: > On 25/03/2008, BCS <ao at pathlink.com> wrote: > >>The fn could also return anything that is totaly mutable. > > > Not if the "in" function parameter was invariant. Granted. So i guess it would be correct to say "suitably mutable".