“If typeclass a, then a is also an instance of b by this definition.”

[Joachim Breitner]

Hi,

Am Freitag, den 09.06.2017, 15:45 +0530 schrieb Saurabh Nanda:
>     If a type has an instance of type-class `a`, then here's how you 
>     can get an instance of type-class `b`

this has been proposed as “default superclass instances”, see
https://ghc.haskell.org/trac/ghc/wiki/DefaultSuperclassInstances

I am not sure what the status is, and how actively it is pushed for. It
is certainly compelling.

Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/haskell-prime/attachments/20170609/76dce259/attachment.sig>