List/and.kind