\(x: Natural)
-> let var = x
   in \(x: Bool) -> var