[Ur] Folders as implicit constructor arguments?

[Robin Green]

Since folder is declared (in the standard library) as a constructor
synonym, and Ur/Web can infer folders, shouldn't folders be considered
"implicit constructor arguments" for the purpose of @ and @@? The
reference manual doesn't mention folders when it talks about @ and @@.

Or am I being too pedantic? ;)

Or am I misunderstanding how inference works?