I mean, I don’t need maximum expressiveness, but imo languages with nearly over engineered type systems like rust, to me, lack almost any expressiveness without

I mean, I don’t need maximum expressiveness, but imo languages with nearly over engineered type systems like rust, to me, lack almost any expressiveness without having to get into macros.