Agree completely. The syntax is a extension of the parametric type inference that already exists in methods (so people already use it), so this is just the removal of a limitation -> exceptions can be parametric too.