Represents that no atj-maybe-function-type-info is available, i.e., Nothing or None.
This is a product type, introduced by fty::defoption in support of atj-maybe-function-type-info.
This is an atomic/empty structure; it has no fields.