def flatMap[A, B](this x: F[A])

denotes a new capability to have extensions functions over syntax on

this

for what I can see there. And where in Scala Martin uses

witness

we call it

extension