../../../../../../Prelude/Optional/last Natural [ None Natural, None Natural ]