(../../../../../../Prelude/package.dhall).`Bool`.fold True Natural 0 1