can't recur into sig, because its atp is a synthetic TypeTree