{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//!"}]}
//! - Whose union covers the whole type, and
//! constructors:
//! - That have no non-trivial intersection with any of the constructors in the column (i.e. they're