type T = [("a" | "b")?];