Existential Types in Elm

BTW - I was wrong to call them existential types. I think it is more accurate to describe this as ad-hoc polymorphism.