Comment by modulus1

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

Is valid if a and b are types.