praosBlockHuddleSpec ∷ ∀ era c (bh ∷ Type → Type) (bhbody ∷ Type → Type). (Era era, AtLeastEra "Babbage" era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith CuddleData Source #