{ a : Natural, b : Bool }