pub fn pp_ty(ty: &Type) -> RcDoc<'_>