Use type annotations in function signature

[mielvds]

We should apply type annotations in function signature before we get a mix.