[Haskell] HSXML version 1.13. Overloading polyvariadic functions

[mm]

On Sun, Feb 04, 2007 at 08:31:55PM -0800, oleg at pobox.com wrote:
> 
> The benefit of representing XML-like documents as a typed data
> structure/Haskell code is static rejection of bad documents -- not
> only those with undeclared tags but also those where elements appear
> in wrong contexts.
> 

Seems like 

http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/

has has the same purpose, has it?

Cheers,

schneegloeckchen