type T = { [[foo]](): X }