Eq instance for TrodeSpike