The code below should change to directly use `Show`, to be super clear that this deriving is actually working. (Or, change this to `Eq` or something and just write `f == f;` below.)