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