[Haskell-cafe] Why can't I bind unlifted values at the top level?

[Tom Ellis]

I can't bind unlifted values at the top level:

    foo = (##)

    Top-level bindings for unlifted types aren't allowed: foo = (##)

I can understand why I shouldn't be able to bind unlifted
*expressions* at the top level

    foo = complicatedExpression

Perhaps complicatedExpression doesn't terminate!  But why can't I bind
_values_, i.e. things that are already evaluated?  Given that (##) and
proxy# already exist at the top-level it seems reasonable that I
should be allowed to define my own!

Tom