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