module example is

  structure Car is
    engine -> Engine
  end

  union Engine of
    FourCylinder
    SixCylinder
    SixCylinderTurbo
  end

end