| I don't seriously propose for haskell-prime that signatures should be | required on exports. Just permitting them would be a large and useful | step up already. If this is to be a serious proposal, someone had better think what to do about classes, data types, instances and so on. Simon