I totally understand the fascination with type systems. It's just that in my experience, the people are have the most success with intricate type systems are mu

I totally understand the fascination with type systems. It's just that in my experience, the people are have the most success with intricate type systems are much smarter than I am ¯\_(ツ)_/¯