{ example0 = Natural/fold 0
, example1 = List/fold Bool [ True ]
}