How to write a function reference (like

someInstance::someFun

) but where the function has a receiver?

What do you mean? are you trying to reference an extension function?

Yes, a function like

fun OtherClass.someFun()

defined in some class

SomeClass

.

References to extension functions that are members of a class are not allowed. It would work if you moved it to top-level.

Thanks. Out of interest, is there anything in the docs that mentions this?

Is there a reason for this other than the type syntax would be fugly?