Here is an interesting StackOverflow question, about a model for data distributed as the sum of two uniforms with unknown support. I was surprised how hard it was for me.
I think the future of probabilistic programming should be to make a model for this easy to code.