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