Macro hkt

macro_rules! hkt {
    ($($($p:ident)::*),* $(,)?) => { ... };
    (@impl $($p:ident)::*) => { ... };
}