../../../../../Prelude/Optional/last
Natural
( [ [] : Optional Natural
  , [ 1 ] : Optional Natural
  , [ 2 ] : Optional Natural
  ]
)