let string_of_type = fun ty -> string_of_kind (kind_of_type ty)