Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b

Tony Morris tmorris at tmorris.net
Thu Apr 6 03:15:21 UTC 2017


By "length" here I mean, the function whose name is lima echo november golf
tango hotel. I truly do not care what it is called. Follow the types, and
the types of the types.

On Thu, Apr 6, 2017 at 12:51 AM, Ben Franksen <ben.franksen at online.de>
wrote:

> Am 01.04.2017 um 03:27 schrieb Tony Morris:
> > The length of ((,) a) is exactly one. Anything else is ridiculous. Try
> > arguing against that,
>
> Half true: length for this type makes no sense at all since it is not a
> sequence. So there should be no length defined for it.
>
> Just choose a different name.
>
> Cheers
> Ben
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170406/9b2cdf61/attachment.html>


More information about the Libraries mailing list