pub fn poly_q<S: Into<Str>>(name: S, params: Vec<TyParam>) -> Type