3 ms·Thinking with Types: type-level programming in Haskell4 points by fanf2 1y agoturtleyacht 1y ago(2019)