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