An example of substituability test that is recursive

[Brian Goetz]

Let’s not do this to Java, shall we?

    https://twitter.com/seldo/status/1090931182227861508

> solution 2: you claim it's too complex and you just let the user deal with it by calling equals() (and provide a way for a user to call the default subs).