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