Section 4.5.2 compile error

[asarkar]

Section 4.5.2 Better Syntax

object DisplaySyntax {
  extension [A](value: A)(using p: Display[A]) {
    def display: String = p.display(value)
    def print: Unit = p.print(value)
  }
}

Fails to compile.

value print is not a member of Display[A]. 
An extension method was tried, but could not be fully constructed:  

DisplaySyntax.print[Display[A]](p)( 
/* missing */ summon[Display[Display[A]]])  

failed with:  

No given instance of type Display[Display[A]] was found for parameter p of method print in object DisplaySyntax

This makes sense because the trait Display only has one method, display. print is defined in the Display companion object, and can only be called as Display.print(value).