Many thanks for your idea! Unfortunately this results in "has no type or is ambiguous" \- and I am not sure how the compiler should get the information for automatic type inference, but I have to admit that my understanding of the mechanisms is still very limited.
The example may not have been a good one because L,R and T are generic container types which may also be a source of complication. Kind Regards
