Constraints on definition of `length` should be strengthened

[Sven Panne]

[ Hit the wrong button... :-P ]

2017-04-03 22:48 GMT+02:00 Sven Panne <svenpanne at gmail.com>:

> [...] Again, this mathematically correct, but more often than not the main
> intent of using a tuple- [...]
>

Again, this is mathematically correct, but more often than not, the main
intent of using a tuple is not a curried function but a heterogeneous
container with no special bias at all.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170403/0781f68e/attachment.html>