Add fold2_exn