Macro with_kind_type

macro_rules! with_kind_type {
    ($kind:expr, <$t:ident>|| $body:expr) => { ... };
}