Thinking with Types – Type-Level Programming in Haskell (2019)thinkingwithtypes.com3 points·vg_head··0 commentsOpen articleSaveView on HN