Change signature of foldC