Understanding the general ebb and flow of construction/induction is such a powerful technique for thinking about FP. Any time I'm stuck programming now my two q

Understanding the general ebb and flow of construction/induction is such a powerful technique for thinking about FP. Any time I'm stuck programming now my two questions are (1) do I have the right data available and, then, (2) what things should I be inducting over?