removing constraints

[Henning Thielemann]

On Fri, 9 Jan 2015, Brandon Allbery wrote:

> On Fri, Jan 9, 2015 at 10:38 AM, Roman Cheplyaka <roma at ro-che.info> wrote:
>
>       [citation needed]
> 
> I believe this is referencing a past discussion (possibly on IRC) where it was pointed out that Ratio is a
> type constructor, but the only instance that makes any sense is Ratio Integer because any bounded integral
> type will eventually (and usually rather quickly) exceed the bounds and fail rather spectacularly given the
> lack of exceptions on bounded-integral wraparound?

Maybe this one:
    https://www.haskell.org/pipermail/libraries/2014-November/024064.html