It’s come up once or twice in projects, since some protocols that we use with model or state types require that things be Equatable for collection diffing reasons. It would also probably simplify some tests.
Possible challenges: anything that contains a closure. Might need to throw some reference types in the mix to make it all work out.