A lot of these methods run on non-inferrable argument types.
Consequently it seems to make sense to reduce the amount of
specialization.

Note there's one case with *increased* specialization, to make it
more reliably inferrable and thus precompilable.