3 Nov
2014
3 Nov
'14
3:07 p.m.
To be honest I don't think omitting an instance because you don't believe the type should be used at all is a useful strategy. If we want to have a discussion on the merit of allowing Ratio a to be overloaded at all I think that is a worthy discussion. Perhaps Ratio a should go away and just become Rational, but I think that is a very separate proposal. Mind you it is one that I'd support. -Edward On Mon, Nov 3, 2014 at 12:00 PM, Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Mon, 3 Nov 2014, Edward Kmett wrote:
+1 from me. Storable (Ratio a) probably won't see much use, but it should
exist nonetheless to prevent it having to be orphaned.
Omitting the Ratio instance it has the advantage that people are warned.