pub type RealInnerFmt = Refined<Tail, PredFnSpec<Seq<u8>>>;
pub struct RealInnerFmt(pub Tail, pub FnSpec<(Seq<u8>,), bool>);
0: Tail
1: FnSpec<(Seq<u8>,), bool>