Demand notation: Using `1L` for strict demands is highly confusing.
I can usually remember that it's meant to read as "Strictly used once and no useful subdemands" if I'm not mistaken.
But when I just read over strictness signatures in a hurry I often have to double check.
I appreciate the terseness but I think we went too far in this case. I've seen simon confuse 1L
with used once lazily. I've made that mistake in the past and today as well. I'm sure users aren't any wiser either.
Maybe we could just use 1(L)
instead? That seems clearer to me even at the cost of more parentheses.