pub fn mono_q_tp<S: Into<Str>>(name: S, constr: Constraint) -> TyParam