Hello Stefan, Monday, September 6, 2010, 3:47:11 PM, you wrote:
> In general, it is kind of unfortunate that type classes and type > constructors share a namespace, even though there is no way to ever mix them > up. btw, i also had proposal to automatically convert typeclasses used in type declarations into constraints, so that: putStr :: StringLike -> IO () treated as putStr :: StringLike s => s -> IO () and length :: ListLike a -> Int treated as length :: ListLike (c a) => c a -> Int Together with proposals i mentioned previously, it will allow to treat existing code dealing with lists/strings as generic code working with any sequential container type -- Best regards, Bulat mailto:bulat.zigans...@gmail.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
