enso_generics
macro_rules! ty { ($(,)*) => { ... }; ($t:ty $(,$($ts:ty),*)?) => { ... }; }
Smart HList type constructor. See docs of new to learn more.
HList
new