let
tau_of_var x = x.var_tau