Honestly as long as you learn when to use generics and when to not use them there are a lot of very useful ways to encode state/invariant into the type system.

Honestly as long as you learn when to use generics and when to not use them there are a lot of very useful ways to encode state/invariant into the type system. But I also have seen the problem with overuse of generics and other "advanced" type system features first hand (in libraries but also done by myself before I knew better).