I'm going to hell for this...

instance : BEq Operation where
beq := (toString · == toString ·)

...but hear me out, it's a temporary instance written as a work-around for tests. It makes it better, right?