I had the same feeling with artificial neural networks. I have read a lot about perceptrons, and how they are in a sense universal approximators, but it didn't really click until I have seen a tutorial where they used a convolutional network to classify handwritten digits. I never needed to write a program to recognise handwritten numbers, but could imagine how that can be useful. Also without the tool in question (neural networks) it would have been very hard to achieve the same result.
In short: what is the mnist digits equivalent toy problem of probabilistic programming?