let rec intern_kind env = function
  | KStar -> star 
  | KTimes (k1, k2) -> mktimes (intern_kind env k1) (intern_kind env k2)
  | KArrow (k1, k2) -> mkarrow (intern_kind env k1) (intern_kind env k2)
  | KEmptyRow -> term_handler (Row (RowDomain.empty))