[Haskell] ANN: witness 0.1, open-witness 0.1, "Witnesses and Open Witnesses"

[Don Stewart]

ashley:
> witness 0.1
> A witness is a value that witnesses some sort of constraint on some list 
> of type variables. This library provides support for simple witnesses, 
> that constrain a type variable to a single type, and equality witnesses, 
> that constrain two type variables to be the same type. The library also 
> provides classes for representatives, which are values that represent types.

snip
  
> open-witness 0.1
> Open witnesses (type IOWitness) are simple witnesses that can witness to 
> any type. However, they cannot be constructed, they can only be 
> generated in certain monads:

snip
  
> Hackage: 
> <http://hackage.haskell.org/cgi-bin/hackage-scripts/package/open-witness>
> Source: <http://code.haskell.org/open-witness/>

You can find these packages for your local Arch Linux distribution,

    http://aur.archlinux.org/packages.php?ID=19194
    http://aur.archlinux.org/packages.php?ID=19195

Come on Debian! :)

-- Don