Fix example for fold

Need to provide a type for the example to work