I agree with Andreas and Henning's line of reasoning: Add the instances IFF we have warnings for them and can effectively outlaw them in our codebases if we want to. If we take this stance both sides of the debate are motivated to add the feature.

On Thu, Apr 4, 2019 at 9:45 AM Richard Eisenberg <rae@richarde.dev> wrote:


On Apr 4, 2019, at 3:12 AM, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:

Not everything that is mathematically consequential is good software engineering practice.

+1 to that -- which means -1 to the proposal.

I might change my mind if the proposal includes the instance warnings, following Henning's reasoning.

Richard
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries