let foo =
   _let x (coin 0.3)
   ((_if (Var x) (Const 5) (Const 6)))