λ(x : Bool) → { a = if True then x else x, b = x }