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

2014-11-30 4:42 GMT+01:00 Karl Voelker :

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.