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