Generalizing some type signatures involving Int

David Feuer david.feuer at gmail.com
Thu Nov 15 19:28:28 UTC 2018


That is precisely correct. And I have heard that it has actually been
used that way ... once. It's not exactly a common application.
On Thu, Nov 15, 2018 at 1:39 PM Henning Thielemann
<lemming at henning-thielemann.de> wrote:
>
>
> On Tue, 13 Nov 2018, David Feuer wrote:
>
> > No, genericLength is *not* a decent stopgap. It's horrible. Just look at
> > the implementation!
>
> It looks like it is intended to return something like a lazy Peano number.


More information about the Libraries mailing list