given T = ???
given x: T = ???
