Need help with this question thanks so much!

Consider the following definition (which is type correct). ys = map reverse xs Select ALL of the following statements that are correct? oys is a list of numbers The last element in xs is the first element in ys xs can be a list of numbers xs must be a list of lists