Neil,

On Tue, Dec 19, 2006 at 10:41:56PM +0000, Neil Mitchell wrote:
> A weird question, what does the 1 element tuple look like?

Could tuples be implemented as an HList?

singleton = (`hCons` hNil)

-Greg