Generalizing some type signatures involving Int

David Feuer david.feuer at
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> 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