Algebraic data types are really nice to work with. I choose Rust just because of this and the best bitcoin and lightning libraries are written in it. Gleam and Zig are promising but they lack a good ecosystem right now. Kotlin if you don't mind using jvm and a heavy IDE.
readability is my most important requirement complexity is cryptic, expressivity is idiosyncratic and has a cognitive burden for each new person looking at the code reducing error is the only priority that matters, comfort is not relevant
Comfort is relevant for productivity and mental health
do you find it more comfortable to type less or read more? obviously the former, have you considered learning to touch type? we have these things called "clipboards" and "multiple cursors" in code editors now, the "type less" argument is void at this point especially when you start talking about generics