remove the barrier between 
    types and terms then ...

... you will loose type inference, and hence Haskell becomes completely unusable in industrial practise.