Hi, I just noticed that in the age of cambrian explosion among new programming languages we also have programming language jam organized this August: https://blog.repl.it/langjam Given that there are many prolific programming language designers and implementors here -- I wonder if we get a Haskell judge so that advanced type systems can get a fair ruling? (In case you got another round of reviews from traditional PL conferences that described your paper as "badly typeset" and "wrong formatting was intentional", "repetitive" and "hard to understand", or even rude "expect a boring talk".) -- Cheers Michał