[PRL] Code's Worst Enemy

[Paul A. Steckler]

Riccardo Pucella wrote:
> In particular, I want to be able to export an object at a type 
> slightly different (more abstract, generally) than its implementation 
> type

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.

-- Paul