MerkleizedInput: UnionC<[Type<MerkleizedDeposit, MerkleizedDeposit, unknown>, Type<MerkleizedChoice, MerkleizedChoice, unknown>, Type<MerkleizedHashAndContinuation, MerkleizedHashAndContinuation, unknown>]> = ...

TODO: Revisit