<div dir="auto">I didn't know one could do that. Ah well. Still rare enough a use-case that I won't complain about this limitation.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 9 Sep 2019, 11:31 Richard Eisenberg, <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><br><div><br><blockquote type="cite"><div>On Sep 9, 2019, at 7:49 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank" rel="noreferrer">arnaud.spiwack@tweag.io</a>> wrote:</div><br class="m_7538026085572301813Apple-interchange-newline"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none">- Associated type declaration are already kind of type signature assignments.</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none">- Except only partial, as some of the variables will be to the left of the type families</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none">- But these extra variables are already mentioned in the type class, where their type can be specified. In particular by a kind signature!</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><br></div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none">So do I need to write `(Type -> Type) -> Type` near a type variable? No, I don't.</div></div></blockquote></div><br><div>Not that I wish to dampen your enthusiasm for the proposal, but I disagree here.</div><div><br></div><div>> class C a where</div><div>>   type F a (b :: Type -> Type -> Type)</div><div><br></div><div>So, while it's true that we don't need all the Type stuff on the class variables, other variables may be included in an associated type and they might need kind signatures.</div><div><br></div><div>Richard</div></div></blockquote></div>