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