Hi all, The haskell-type-level library is now in the DHG darcs repo and ready for upload. Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/