Redbase: simple type-safe Redis db