Type Alias ProposalKey 

type ProposalKey<T> = (ViewNumber, Commitment<Leaf2<T>>);