../../../../../../Prelude/Bool/fold True Natural 0 1