I was thinking about this with respect to `with` s...

# language-proposals

[groostav]

I was thinking about this with respect to with statements recently, if you want to import local extension functions (extension funtions declared on a class rather than a companion object), importing from that parameter might be much more elegant than using nested `with`'s