[Haskell-cafe] List of nitpicks

Alex Rozenshteyn rpglover64 at gmail.com
Fri Aug 28 23:13:35 UTC 2015


But you can't do something like

instance E a

On Fri, Aug 28, 2015 at 9:27 AM, Johannes Waldmann <
johannes.waldmann at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150828/997d7795/attachment.html>


More information about the Haskell-Cafe mailing list