Suggestion to open PR

[jorbuedo]

For #3707

This makes the certificate types more consistent, so there's no need to cast as them everywhere.
Basically FormattedCertificate is more strict so once you discriminate by type, the value already has the correct shape:

type FormattedCertificate = {
    type: "StakeRegistration";
    value: StakeRegistrationJSON;
} | {
    type: "StakeDeregistration";
    value: StakeDeregistrationJSON;
} | {
    type: "StakeDelegation";
    value: StakeDelegationJSON;
} | {
    type: "PoolRegistration";
    value: PoolRegistrationJSON;
} | {
    type: "PoolRetirement";
    value: PoolRetirementJSON;
} | {
    type: "GenesisKeyDelegation";
    value: GenesisKeyDelegationJSON;
} | {
    type: "MoveInstantaneousRewardsCert";
    value: MoveInstantaneousRewardsCertJSON;
} | {
    type: "CommitteeHotAuth";
    value: CommitteeHotAuthJSON;
} | {
    type: "CommitteeColdResign";
    value: CommitteeColdResignJSON;
} | {
    type: "DRepDeregistration";
    value: DRepDeregistrationJSON;
} | {
    type: "DRepRegistration";
    value: DRepRegistrationJSON;
} | {
    type: "DRepUpdate";
    value: DRepUpdateJSON;
} | {
    type: "StakeAndVoteDelegation";
    value: StakeAndVoteDelegationJSON;
} | {
    type: "StakeRegistrationAndDelegation";
    value: StakeRegistrationAndDelegationJSON;
} | {
    type: "StakeVoteRegistrationAndDelegation";
    value: StakeVoteRegistrationAndDelegationJSON;
} | ... 2 more

[banklesss]

Interesting !!

[stackchain]

I like it.