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