options: to_opt/of_opt/head/head_exn