On 2013-03-28, at 14:53 , Pierre Fenoll wrote: > The spec says both arguments and the result are lists. > Indeed there is a contradiction with said spec. Isn't that a problem? It's not a contradiction, as kostis noted specs are not complete enumerations of all possible argument types.