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

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@joachim-breitner.de http://www.joachim-breitner.de/