On 02/07/2012 06:49 PM, Yves Parès wrote:
Are there documentation on constraints being types, how they can be declared/handled and what are the interests?
The GHC User's Guide has (somewhat short) section http://www.haskell.org/ghc/docs/latest/html/users_guide/constraint-kind.html
Blog posts: http://blog.omega-prime.co.uk/?p=127 http://comonad.com/reader/2011/what-constraints-entail-part-1/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe