function argument type constraint
Add more type constraint