add foldLeftSpec.