pub fn mono_q<S: Into<Str>>(name: S, constr: Constraint) -> Type