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