Fixtype of errors and pairs consisting of a non-empty set of types and a variable table.
This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.