hdtl functoin

[sciencemanx]

Would you be opposed to adding a hdtl method of type ('a * 'a t) option? It is functionally equivalent to

let hdtl dl = match (hd dl, tl, dl) with
  | (Some h, Some t) -> Some (h, t)
  | _ -> None