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

Ben Franksen ben.franksen at online.de
Wed Apr 5 14:51:01 UTC 2017


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



More information about the Libraries mailing list