Hacker News new | ask | show | jobs
Existential Types on a Leash in Haskell (cdfa.github.io)
3 points by fanf2 4 hours ago