I suppose the `==` automatically uses piecewise fold? And why does this fail?