pub fn ty_tp(t: Type) -> TyParam