Comment by _RPM

How are you implementing the dynamic type interface? Discriminated union?