Awesome! The samples now work. Thanks so much for your help.
-deech

On Fri, Nov 11, 2011 at 11:14 PM, <oleg@okmij.org> wrote:

> 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