[Haskell-cafe] Kind signatures and closed type families syntax

[Gautier DI FOLCO]

2014-11-30 4:42 GMT+01:00 Karl Voelker <karl at karlv.net>:

> In a type family declaration, the signature to the right of the top-level
> "::" is always the kind of the result. When you drop the kind signatures
> from the parameter declarations, the kinds of those parameters become
> inferred rather than explicit, but that doesn't change the interpretation
> of the top-level signature - it is still just the kind of the result.
>

Hello,

Thanks for your answer, it's perturbing me but that's a nice explanation.

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141130/ef088942/attachment.html>