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