[Haskell-cafe] Announcing OneTuple-0.1.0

[Lennart Augustsson]

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 <jason.dusek at gmail.com> wrote:
> Lennart Augustsson <lennart at augustsson.net> 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
>