let
tl =
function
[]
->
None
|
_ :: t
->
Some
t