<div dir="ltr"><div dir="ltr">On Fri, May 21, 2021 at 2:11 AM Baldur Blöndal <<a href="mailto:baldurpet@gmail.com" target="_blank">baldurpet@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> encouraging the use of a standalone signature for type declarations where at least one parameter of the datatype does not have kind Type.<br>
<br>
So Dict, Eq both get a sig but Fix and Either do not?<br>
<br>
  type Dict :: Constraint -> Type<br>
  type Eq   :: Type -> Constraint<br>
  type Fix  :: (Type -> Type) -> Type</blockquote><div><br></div><div> That's not how I understand Richard's criteria.  Dict and Fix have non-Type parameters (Dict has a Constraint parameter, and Fix has a (Type -> Type) parameter.  On the other hand, Eq and Either have only Types as parameters.  This seems to match my intuition about when a kind signature might be helpful, as well as yours as far as I can tell from what you wrote.</div><div><br></div><div>That's not to say I am advocating any kind of rule.  As I'm not really involved in GHC development, I refrain from having any opinion.  I just think you may have misread Richard's suggestion.</div></div></div>