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