let
rec
is_simple =
function
(
Tvar
_
|
Tconst
_
|
Tapp
(_,[]))
->
true
|
_
->
false