What is the difference between `’a.` and `type a.` and when to use each?
Below are alternative explanations with a varying amount of detail, depending on how much of a hurry you’re in. 😉 I will use the following code (drawn from that other question) as a running example. Here, the type annotation on the definition of reduce is actually required to make it typecheck. (* The type [(‘a, … Read more