[jagadaga]

    > result types pessimize code more

What does it mean?

    > They're arguably noisier at the source level too.

But they are more explicit, which means there will be fewer bugs in your code.