Phantom builder pattern in Elm

Elm’s simple, expressive type system gives us some powerful to constrain the the inputs and outputs of our functions. Without it, it’s…