What is spine strictness
Here’s an example > length (undefined : 3 : 4 : undefined : []) 4 > length (2 : 3 : 4 : 5 : undefined) <<loop>> The first list contains bottoms as elements, but the “shape” of the list is fully defined. Roughly speaking, every list cell has a clearly defined “pointer” to its … Read more