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-kind.html

- J.W.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe