../../../../../../Prelude/Optional/concat Natural (Some (None Natural))