Closed plymorphic variant types.