Hacker News new | ask | show | jobs
by Cladode 2338 days ago 

    remove the barrier between 
    types and terms then ...
... you will loose type inference, and hence Haskell becomes completely unusable in industrial practise.