Define maybe-iterate
Define either-iterate
Define maybe-fold and either-fold
Redefine maps in terms of folds