{ example0 = Optional/fold
, example1 = Optional/build
, example2 = Optional/fold Natural (Some 1) Bool Natural/even False
}