Type testing for t4