"""Redis infrastructure adapters."""