Give AlbumentationsX a star on GitHub — it powers this leaderboard
A bounded-list in Haskell using dependent type tricks.