4 ms·Higher-kinded types: the difference between giving up, and moving forward (2016)28 points by jxub 7y ago