따라서 해당 목록에 첫 번째 요소를 요청합니다. 리스트가 RACE에 의해 생성된 것이라면 리스트에 포함된 요소 중 가장 빠른 요소를 전달합니다. 그러면 이 요소가 생성 중인 RACE 목록 노드의 첫 번째 요소가 됩니다.

So we ask that list for his first element. If the list was produced by RACE, this delivers the fastest element among those that he contains. This element then becomes the first element of the RACE list node thats being constructed.