Haskell's kind system - a primer| diogocastro.com
What explains the disproportionate popularity of typed FP for code tools and relative unpopularity for web apps?| twitchard.github.io
