Delete unused code.

Summary: `default` is fairly similar to `opt_fold_left`, too, and
opt_fold_left has a nicer order of arguments...

Reviewed By: @jwatzman

Differential Revision: D1583128