Confused about the cardinality of a Result type

[rupert]

Related post on how the math works:

Mapping Tagged Union types to other languages?

As Math type Content = Text { uuid : String , title : String } | Markdown { uuid : String , markdown : String } | Figure { uuid : String , markdown : String , title : String , imageId : Maybe String } is equivalent to the expression: uuid * title + uuid * markdown + uuid * markdown * title * imageId taking the common factor = uuid * (title + markdown + markdown * title * imageId) Which converted back into Elm gives me an equivalent data model: type alias Content = { uuid : String …

Shows how a data models type can be manipulated whilst keeping the cardinality the same - effectively different ways of representing the same intention.