trait A[T] { def m: this.type[T] = this }