Should this be `HashPump` or not?