The `args` field is non-`#f` only if the type is polymorphic. I can add a comment along those lines.