Why not put the `type` field also in the embed struct if, per the diagram, it's also going to be checked there?