pub type KpVoid = Kp<(), (), (), (), (), (), fn() -> Option<()>, fn() -> Option<()>>;
Kp for void - experimental
pub struct KpVoid { /* private fields */ }