2 ms·Kindness for Mean Girls: a discussion on type-level programming in Haskell1 points by azhenley 6y ago