type annotations for parameters