type 'a t = 'a option

let map t f =
  match t with
  | None   -> None
  | Some x -> Some (f x)

let get t ~default =
  match t with
  | None   -> default
  | Some x -> x