Add missing Monad/Traversable instances to tuples

[Ganesh Sittampalam]

On 02/04/2019 04:28, Fumiaki Kinoshita wrote:
> I submitted https://gitlab.haskell.org/ghc/ghc/merge_requests/644 but
> it might be still controversial. I'd like to get more opinions again.
>
> Here's the list of proposed instances:
>
> ||||||Foldable ((,,) a b)|
> |||||
> |||||||Foldable ((,,,) a b c)|
> ||||||
> ||||||||Traversable ((,,) a b)|
> |||||||
> |||||||||Traversable ((,,,) a b c)|
> ||||||||

Presumably these would leave us with things like length (2,3,4) = 1 ?

If so I'm a weak -1; it's awful but the ship has already sailed with
pairs, so maybe consistency beats more "wat" moments.

Cheers,

Ganesh|
|

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190402/054c8ff4/attachment.html>