Spelunky and Terraria do a good job with Procgen.

Spelunky uses handcrafted chunks that are connected together like a puzzle. Each generation feels interesting because each chunk is interesting and they are just strung together into a unique maze.

Terraria does a similar thing, where all the things that matter are hand-crafted. Bosses, items, layer details, progression. The map and cave system is generated but the caves tend to string together hand-crafted experiences and hand-crafted monsters. Many areas are generated, but in a unique style for variety. And there was still a fixed progression in the background (ore and boss progression). I think its in a big contrast to a similar game like Starbound, where all the weapons and creatures and maps were procgen at first, and it felt very '10000 bowls of oatmeal'. Terraria vs Starbound is the most like-for-like comparison I've seen for "procgen done right vs wrong"