Adam Gundry wrote: > If you leave off the type signature, as you did for sum', the > right thing will be inferred. Thanks Adam and Ivan. Very stupid question... TP