Concrete lists, enums, folds, bigsums.