Closed judah closed 5 years ago
We need the explicit ' to distinguish from regular lists. For simplicity, just use it for all type-level lists of any length.
'
We need the explicit
'to distinguish from regular lists. For simplicity, just use it for all type-level lists of any length.