> What about a simple method reference K::m() ? With a rule that says that
> it is only accessible if K is a direct superinterface?
K::m already has a meaning; it is an unbound method reference to the
virtual method K.m.
Think of it as a shorthand for the lambda:
(K r, arg, ...) -> r.m(arg, ...)