$CandidateHash: $.Shape<`0x${string}`, `0x${string}`> = $Hash

Unit type wrapper around [type@Hash] that represents a candidate hash.

This type is produced by CandidateReceipt::hash.

This type makes it easy to enforce that a hash is a candidate hash on the type level.