Folding without types.