Brian Hulley wrote:
Bulat Ziganshin wrote:
f :: Num a => a -> Int
write as
f :: Num -> Int

so, while this proposal is rather minor, i think that it is Good
thing

I wouldn't like it because I'd like to eventually make the class
namespace separate from the tycon namespace...

Apologies for that phrasing. I should have said:

"I'd like to eventually find myself living in some mode of existence wherein ClassCons and TyCons no longer share the same namespace."

Also apologies for these multiple posts... ;-)

Brian.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to