<div dir="auto">Silly question: when will stand alone kind sigs speed up type checking phase of compilation? </div><div dir="auto"><br></div><div dir="auto">Cause that would be an interesting argument in favor :)</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 21, 2021 at 2:11 AM Baldur Blöndal <<a href="mailto:baldurpet@gmail.com">baldurpet@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;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<br>
<br>
It's sensible to exclude tired tropes like `Type` and `Type -> Type`<br>
but higher-order functors (like Fix) warrant a signature.<br>
<br>
Caveat: The kind of type synonyms, type families and data families is<br>
not necessarily determined by counting the syntactic arguments of X<br>
like for a `data' declaration as Y could be a type, a functor, a<br>
bifunctor..<br>
<br>
  type X = Y<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>