Re: removing constraints

On Fri, 9 Jan 2015, Brandon Allbery wrote:

On Fri, Jan 9, 2015 at 10:38 AM, Roman Cheplyaka 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