I know some people are worried about this, but the true power of GATs is to allow you to add lifetimes to associated types. This leads to a whole avenue of new

I know some people are worried about this, but the true power of GATs is to allow you to add lifetimes to associated types. This leads to a whole avenue of new optimizations and efficient representations. It’s not about making things “more like Haskell”, that just happens to be a consequence of making more low-level operations representable in safe rust code, which if you think about it is the way rust has operated from the very beginning.