type T = { +[[foo]]: X }