Difference Between Branded `Redacted` and `Redacted` with Branded `string` - Effect Community