vvalue
cast :: (Coercible (ChainDepState (BlockProtocol blk)) (ChainDepState (BlockProtocol blk')), TipInfo blk ~ TipInfo blk')=> HeaderStateHistory blk-> HeaderStateHistory blk'