3 ms·The paper "Typing Haskell in Haskell" is also very readable and informative.by willtim 11y agoThe paper "Typing Haskell in Haskell" is also very readable and informative.