pub fn static_instance(name: &'static str, t: Type) -> TyBound