This Stack Exchange comment gave me a critical insight that had been missing since I started learning to program.
Using Domain Driven Design the author creates smart constructors to help build algebraic data type abstractions. Effectively modelling domain entities throughout his data.
This is what I want to do in Elm and would really like to understand how to create smart constructors. Can we do this as elegantly as in Haskell?