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