let is_fun t =
  match (T.deref t).T.descr with
    | T.Arrow _ -> true | _ -> false