Awesome! The samples now work. Thanks so much for your help.
-deech
My apologies! It turns out I have forgotten to 'darcs add' it. It is
> The reason I commented out the Data.HList.TypeEqO was because I
> couldn't find it.
committed now:
http://code.haskell.org/HList/Data/HList/TypeEqO.hs