> Perhaps we should have a reference to Lazy type resolution for untyped in the
> Templates and Macros sections.
That's right, missed that one. Maybe `untyped` and `typed` should even get
their own subsection under "Special Types".
> Can you find what the following code will print?
I made a guessing game out of the code by adding `discard readline(stdin)`
before every template invocation and I got one wrong: for some reason, I
thought that `typed{lit}` would win over `int` for an integer literal
parameter. Would be nice to have such little "quiz programs" in the tutorial,
compiled to JavaScript.
Btw., the main reason I could give the longish reply further up is that I tried
the exact thing you did ("saving" template parameters) before understanding
templates and macros. Wasted a lot of time with frustrating trial-and-error
back then instead of just asking. These questions help other people, too.
