pub fn instance(name: Str, t: Type) -> TyBound