[Haskell-cafe] Re: Nomic game in Haskell

Ashley Yakeley ashley at semantic.org
Thu Apr 15 21:06:37 EDT 2010

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

More information about the Haskell-Cafe mailing list