28 Aug
2015
28 Aug
'15
7:13 p.m.
But you can't do something like instance E a On Fri, Aug 28, 2015 at 9:27 AM, Johannes Waldmann < johannes.waldmann@htwk-leipzig.de> wrote:
Re: http://repetae.net/recent/out/classalias.html
Prelude> :set -XConstraintKinds Prelude> class C a; class D a; type E a = (C a, D a); instance E a => C (Maybe a)
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/constraint-k...
- J.W. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe