Macro enso_generics::ty

macro_rules! ty {
    ($(,)*) => { ... };
    ($t:ty $(,$($ts:ty),*)?) => { ... };
}

Smart HList type constructor. See docs of new to learn more.