type a = bool
type b = str
type c = result::Result
type d = <::i32 as Vec<bool>>::MAX
type e: Iterator + 'static = bool
type f = StaticVec<T,  { N }>