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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
