f = foo (\ (_ : xs) x -> foo x x)