../../../../../Prelude/Optional/length Natural ([] : Optional Natural)