Idea: Borrowck Transparent Function Calls

Apparently Niko made a blog post about Maximally minimal view types on March 21 (and I only found it just now). And I think it's a good middlepoint and I would be happy with it as a minimal sulotion. The main pain point I had with view types was it's too large . Maybe this was what @Vorpal talking out and I misinterpreted as full view types?