[modulus1]

> [](a,b){ ... }

Is valid if a and b are types.

[cheez]

Yeah, I guess that's where the committee is hesitant to deduce parameters without the auto qualifier.