foo :: Bool -> Int
foo True =
  let bar = new_def
  in bar

foo False = 1