| However, I realise that there are philosophical and implementation
| oriented problems with the idea. Firstly, being able to reify code
| from another module means that all .hi files would bloat to many times
| their size as they now have to contain reified versions of the
| declarations in the modules and all this just in case someone happens
| to want to reify the declaration somewhere else.
Yes, that's my primary objection... but I suppose we could have the
-fbloat-hi-files flag!
Let's see how things look when the dust has settled on the current
iteration
Simon
