Implicit Params

[solomon-b]

No description provided.

[MonoidMusician]

Our current idea is to integrate this with operators, so that custom operators (either prefix or infix) have some arguments statically required (e.g. how base requires an argument). With some theory crafting and implementation work, this can then let us generate the right bits of syn/chk forms to simulate implicit arguments. (We can implement a little bit at a time.) This will make a lot of things nicer!