| 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