[9dev]

As a user, I couldn’t care less about the algorithmic beauty of the type system if it works, lets me type complex things reliably, and is fast enough to stay out of my way. Does it do that by being a mess of duct table and plywood? Totally fine for me.

[saagarjha]

Sure, but often the duct tape and plywood makes it difficult to make things that are reliable and stay out of your way.