Higher Order Types for Redis