[djeastm]

>then apply types once your happy paths start working for the first time to start catching the unhappy ones.

I.e. the "I'll go back and add safety later" strategy. Somehow I never seem to get around to doing it.

[miunau]

Like documentation, you should do this while it's fresh in your head, but I get it.