I think there’s a difference between ideal library code and ideal business logic code.

The more you lean into crazy ass generics in your library, the simpler and more error-free the user can make their biz logic code. Really nicely typed libraries almost give you zero chances to fuck things up, it’s amazing.

But then again most of your devs wont be able to understand all those generics, so you need to keep your biz logic types relatively simple.