( T * , , ^k