Hi > > data _E a = _E a > > Yes, that seems about right. BTW, why is it called "_E"? The 1 element tuple (which is what this is) has no syntax in Haskell. It has many names all over the place Thanks Neil