3 ms·Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–52 points by abhin4v 7y ago