Comment by bbkane

Oh you mean algebraic types (Elm terminology)? Or the newtype pattern? Or something else?