Proposal: add `Proxy`fied versions of `bitSizeMaybe` and `finiteBitSize`

Edward Kmett ekmett at
Fri Dec 15 14:08:22 UTC 2017

This was my knee-jerk reaction as well, but interestingly, you only
actually need to turn on AllowAmbiguousTypes to compile the class. You can
actually _use_ the methods without the extension. This matters to me
because AllowAmbiguousTypes allows far too many errors through in user code.

This renders it a somewhat less bad option than I previously assumed and
leaves me somewhat ambivalent about whether we use the extension or not.

On Thu, Dec 14, 2017 at 3:11 PM, M Farkas-Dyck <strake888 at> wrote:

> On 2017-12-14 05:46 AM, Henning Thielemann wrote:
>> I still prefer Haskell 98 / 2010.
> I agree. I would hesitate to introduce ambiguous types here.
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list