[PRL] Code's Worst Enemy

[Riccardo Pucella]

>
> I think there's a proposal for the next-gen Haskell to allow export of
> module values at different type.  Not sure whether the export types  
> have
> to be more general, or allowed to be an instance of a more general
> type.

Indeed. Although the Haskell module system is kindda broken. (As in  
nonexistent beyond simple name management.)

That's one place where they dropped the ball badly.

(OTOH, modules in the presence of type classes can get tricky, Crary  
et al. nonwithstanding.)

  Cheers,
  R