On 20/05/2010, at 9:53 AM, Richard O'Keefe wrote: > > The key point is the 'that would NATURALLY have', which I take > to mean "as a result of type inference without any forcibly > imposed type signatures". In my second edition of Bird, the question just says: "Give examples of functions with the following types:" Tom