Elm’s simple, expressive type system gives us some powerful tools to constrain the inputs and outputs of…