Type systems are great for catching representation errors. However, the important errors that I make are "kind" errors. Type systems can verify that you're ad

Type systems are great for catching representation errors. However, the important errors that I make are "kind" errors. Type systems can verify that you're adding two ints, but won't tell you when you add the number of bananas to the number of oranges. Of course, both numbers contribute to the total number of snacks.