If `args` is non-false, then the type alias was declared with type arguments. We know that any type alias with type arguments will be a `Poly`.