last

{-
Retrieve the last element of the list

Examples:

```
./last Natural [ 0, 1, 2 ] = [ 2 ] : Optional Natural

./last Natural ([] : List Natural) = [] : Optional Natural
```
-}
let last : ∀(a : Type) → List a → Optional a = List/last in last