I didn’t understand where you were going the first sentence but then paragraphs 2 and onwards were fun.
Are you usually thinking in terms of type abstractions and enforcing invariants through types?
Are you usually thinking in terms of type abstractions and enforcing invariants through types?
Sometimes it's more that I have a tedious problem and think surely there's a better formulation. That also is a good thing to grind in the subconscious.
There are still some problems for some project I haven't solved too! It'll come.