Разбор данных, OCaml

[caml_programmer]

При разборе списков из S-выражений, написал сегодня функцию вида:

let xxx = function
| hd::tl -> Some (hd,tl)
| [] -> None

Но как правильно её обозвать, не придумал. Может хаскелисты в курсе,
чем-то мне она их монады напоминает.