Using the same type parameter for xs and the view is too restrictive