How is it that new Julia programmers tend to abuse type annotations?

[joa-quim]

@jkopper

I suppose I disagree that the behavior of the function g in your example is “bad.”

Agree.