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