Cost of Overloading vs. HOFs

[Stefan O'Rear]

On Sat, May 05, 2007 at 10:29:54AM +1000, Matthew Brecknell wrote:
> 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.

Ah yes, I'd forgotten about that use.  I was thinking of the fact that
Data.Sequence is monomorphic in the measurement type.  Thanks for the
correction. 

Stefan