eqT is:exact

This function decides equality of terms with thunks.