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 <[EMAIL PROTECTED]> wrote: > Lennart Augustsson <[EMAIL PROTECTED]> 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 > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe