Whoops! I misremembered. I think we originally considered elm-bridge, but we're actually using haskell-to-elm[0]. I am familiar with Veronika's work and it is consistently of high quality, so I don't doubt elm-street would be a solid choice. In fact, elm-street looks like it supports generating exhaustive sum type lists, which might be the killer feature over the alternatives that leads me to switch.

I'll make a correction to the article.

[0]: https://hackage.haskell.org/package/haskell-to-elm