litmus: declared parameter types take precedence over infered types.