This change causes a [regression issue 12071](https://d.puremagic.com/issues/show_bug.cgi?id=12071).

Currently `opCall` returns `VariantN` - so, if `VariantN` is an instantiated type from `Algebraic`, opCall can only return a value of `AllowedTypesX`.