Re: Proposal: Num instance for tuples
Dan Doel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.libraries,gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <CAHEA9tM1O17jnE58=OZh=nGHJZqK8wGwWQOZFuATZdVSacPbvg@mail.gmail.com> |
On Thu, Oct 18, 2012 at 7:34 AM, Edward Kmett <[email protected]> wrote: > Unlike the rest of the comments so far, I am > > +1 > > to this proposal. > > It has the only reasonable semantics. There are at least two reasonable choices. The first is this. The second is given by the fact that for any Num a and Applicative f, we can write Num (f a) by lifting all the operations. I suppose the one proposed here might be more commonly used. -- Dan