Thinking with Types: type-level programming in Haskell thinkingwithtypes.com 3 points by fanf2 a day ago
(2019)