{ None : Natural, Some : Bool → Natural }