<div dir="ltr"><div>But you can't do something like<br><br></div>instance E a<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 28, 2015 at 9:27 AM, Johannes Waldmann <span dir="ltr"><<a href="mailto:johannes.waldmann@htwk-leipzig.de" target="_blank">johannes.waldmann@htwk-leipzig.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Re: <a href="http://repetae.net/recent/out/classalias.html" rel="noreferrer" target="_blank">http://repetae.net/recent/out/classalias.html</a><br>
<br>
Prelude> :set -XConstraintKinds<br>
Prelude> class C a; class D a; type E a = (C a, D a); instance E a => C<br>
(Maybe a)<br>
<br>
<a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/constraint-kind.html" rel="noreferrer" target="_blank">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/constraint-kind.html</a><br>
<span class="HOEnZb"><font color="#888888"><br>
- J.W.<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>