Remove Show (Some a) and Eq (Some a). Add a newtype SomeSingletonType1 providing those instances using deriving via.

[carbolymer]

Changelog

- description: |
    `Cardano.Api.Experimental`: Remove `Show (Some a)` and `Eq (Some a)`. Add a newtype `SomeSingletonType1` providing those instances using `deriving via`.
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
   - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

A follow-up from: IntersectMBO/cardano-node#6017 (comment)

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

Why? Is this being used anywhere?

[carbolymer]

In line 127.