Good question, don't know if the compiler should accept that. The ; normally comes (must come) after a type constraint, if one is used.
The ; in the param list could (probably should) be replaced by a , instead.
I might do that (but right now, I already have 3 IDE instances running / so later, if I remember)