Type constraint based variant table Yuval Kogman (nothingmuch@woobling.org), Florian Ragwitz (rafl@debian.org)