example : Id Nat := do
  let mut x := 1
  have x : Nat := 2
  x
