Fixtype of errors and triples consisting of a function table, a variable table, and a tag environment.
This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.