`def flatMap[A, B](this x: F[A])` denotes a new ca...

# arrow

[raulraja]

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