{ b : Bool, a : Natural }