What is a topological feature, that a (some) tqft (e.g. in 3 or 4 dim) sees but homology/cohomology/homotopy groups dont? Or: what is an example where using classical theories is hard, but using a tqft is comparatively easy?