car
car : ((cons y (listof x)) -> y)
purpose: to select the first item of a non-empty list