Yeah, I'm a very type-driven dev. So sometimes I'll get stuck with my types and not know a way forward. Usually the answer pops in my head out of nowhere. Reminds me of when Nietzsche said ideas were out in the world, waiting to be bumped into on a walk.

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.