@dang will sometimes boost a post later on.

Reposting is allowed, and this looks incredible; you should definitely repost some time soon. I've kinda put off getting into Haskell... this feels like I've waited long enough to catch the next big thing.

If you do a repost, I think might be a sensible idea to make the repost into a "Show HN" post.

And then also just to post the abstract from Readme.md as a comment to the post.

I think it creates more engagement when people see immediately that the creator is present in the thread.

PS. Really cool project!