Style fixes.
zonk the argument of static before generalizing its type.
Avoid duplicated error messages produce by simplifyInfer.