How are the order of arguments determined?

Stream: new members

[Martin C. Martin]

I have an instance that depends on some implicit parameters. There's one I'd like to come first. However, I can't seem to figure out how to get it there. So I'd like to understand how the order of arguments is determined in Lean 3. Is there a language reference or some other reasonably thorough document covering this?

[Eric Wieser]

Can you make a #mwe?