pub type FwdPolicy<'inv, Set, Ser> = FwdPolicy<Parser<'inv, Set, Ser>, Ser, DefaultSetChecker<Parser<'inv, Set, Ser>>>;
struct FwdPolicy<'inv, Set, Ser> { /* private fields */ }