Macro hkt 

macro_rules! hkt {
    ($t:ident) => { ... };
}

Derive HKT macro to create Higer Kinded Types