Implement polymorphic variants.