> Dear sirs, a List is a recursive data structure by definition.

I don't think so: http://en.wikipedia.org/wiki/List_(abstract_data_type)