let
fresh_var (name, _, t,_) = fresh_named_var name t