> The reason I commented out the Data.HList.TypeEqO was because I > couldn't find it. My apologies! It turns out I have forgotten to 'darcs add' it. It is committed now: http://code.haskell.org/HList/Data/HList/TypeEqO.hs