On Thu, Feb 16, 2012 at 4:42 PM, Johan Tibell <johan.tib...@gmail.com> wrote: > 1. In theory the user could create a cut-n-paste copy of the data > structure and specialize it to a particular type, but I think we all > agree that would be unfortunate (not to say that it cannot be > justified in extreme cases.)
I thought data families could help here, as in, you could do a SPECIALIZE on a data type and the compiler will turn it into a data family behind the scenes and specialize everything to said type. though, that wouldn't do things like turn a Data.Map into a Data.IntMap... John _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users