Brian Hulley wrote: > -- this change is not strictly necessary > update :: a -> (a -> a) -> a Sorry - I just looked again at the instance decl for Node, so the above change should not be made. Apologies for the multiple posts, I must try to think more before clicking "send" ;-) Regards, Brian.