Hacker News Reader

It's got algebraic types, and a typeclasses proposal (with a PR!) was actively worked on, last time I checked.

Algebraic types without being able to conveniently destructure them is maybe half the benefit at best.