Well, it would have been probably more clear to say I wouldn’t go all-in on the type system and if something would have to get a tradeoff I’m okay with the type system being weakened for that.

I’m quite okay with e.g. Haskell’s type system up to a point (including monads), but some even more exotic feature and borderline dependent types are not something I would put into the language (I will let other languages be the testing grounds for these ideas!), as I think that most interesting properties will not be provable either way and that a constrain-based approach may scale better.