let
mk_var n =
Var
(n)