check that member m exists in class T, and it's function with single parameter of type ti
See Implementation
check that member m exists in class T, and it's function with single parameter of type ti