Macro kvar 

macro_rules! kvar {
    ($base:expr $(; ( $( $params:expr ),* ) )? ) => { ... };
}

Shorthand macro for constructing TypeVar::Known