B blog.janestreet.com Why GADTs matter for performance (2015) 83 points hyperbrainer 1 year ago 26 comments