What examples are there of striking applications of the ideas of microlocal analysis?

Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/topology, representation theory etc.) which follow as natural consequences of microlocal analysis and are not known to be obtained easily without it.