{- Retrieve the last element of the list Examples: ``` ./last Integer [ 0, 1, 2 ] = [ 2 ] : Optional Integer ./last Integer ([] : List Integer) = [] : Optional Integer ``` -} let last : ∀(a : Type) → List a → Optional a = List/last in last