A single step (deciding the equivalence class) requiring infinite knowledge (equivalence classes of infinite hat types) and infinite data (the observable hats)

A single step (deciding the equivalence class) requiring infinite knowledge (equivalence classes of infinite hat types) and infinite data (the observable hats) instead of the more usual infinite sequence of finite steps. Interesting, but still impossible.