Use formal argument type as type hint to actual argument type