Re: [Haskell-cafe] Announcing OneTuple-0.1.0

But (a) is not a lifted version of a, whereas (a,b) is a lifted version of the a b product. So it's not consistent, and thereby wrong. -- Lennart On Fri, Oct 3, 2008 at 6:07 PM, Jason Dusek wrote:

Lennart Augustsson wrote:

...

Let me pick one example. Let's make a class that can convert between tuples and lists.

-- XXX This doesn't work, and is just wrong. -- instance TupleList (a) [a] where -- tupleToList (a) = [a] -- listToTuple [a] = (a)

It's not clear to me what is so "wrong" about it. If the 1-ary tuple is the 1-ary product, it makes sense.

-- _jsn