streamlining equalizer: got rid of unnecessary types in Topos API