That is, all finite, total lists.