[Haskell-cafe] ANN: exists-0.1

[Mikhail Vorozhtsov]

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/