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

[Edward Kmett]

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 gmail.com> 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 haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20171215/86c96353/attachment.html>