tests on functionTyArgs