let rec of_segs segs =
  match segs with
  | [] -> (rel_of_segs [] :> (* ? хз. *) unk t)
  | "" :: (("" :: _ as segs)) -> (of_segs segs :> unk t)
  | "" :: _ -> (abs_of_segs segs :> unk t)
  | segs -> (rel_of_segs segs :> unk t)