{ x :T }