Consider the following definition $($which is type correct$).$

ys $=$ map reverse xs

Select ALL of the following statements that are correct?

Group of answer choices

ys is a list of numbers

The last element in xs is the first element in ys

xs must be a list of lists

xs can be a list of numbers