employ type inference to simplify type declaration