pub fn mono_tp<S: Into<Str>>(name: S) -> TyParam