information about Fold (higher-order function) field