enumUnfold