On 2010-04-15 17:39, Dan Piponi wrote: > In the service of readability we could also define: > > data X = X > data O In that case we'd want type Three a b c = (a,b,c) ...which is simpler than my GADT. -- Ashley Yakeley