You inevitably spend much of your time understanding the types and the concepts they represent, but I find using a specific, high-level function to drive the un

You inevitably spend much of your time understanding the types and the concepts they represent, but I find using a specific, high-level function to drive the understanding helpful. One, it provides a "theme" for the deep-dive, and two, the logic of that functions gives you particular paths through those types to focus on.