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 [email protected] http://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-prime mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
