j
k
j a
j l
Stefan O'Rear:
Data.Sequence doesn't use overloading
Data.Sequence uses overloading for subtree size annotations. The structural recursion seems to make it quite awkward to express size annotations without overloading.
Back to the thread
Back to the list
