Absolutely. Procedural generation is not the same as AI generated. Spelunky's level generation is great and the different combinations of hand-created rooms with smart rules on how they connect. Unexplored (that's the name of the game) is a full on multi-level dungeon with puzzles and combat. Proc gen gives these games their life, but designing a good proc gen system is level design unto itself.