<div dir="ltr"><div>Hi Ben,</div><div><br></div><div>Thank you for explanation.</div><div>Sorry, I was misunderstood that ghc8 changes representation of '*'.</div><div>(In addition to the Bool, but also Int, Float,..)</div><div><br></div><div>There are also followings:</div><div><br></div><div>  Alternative f => Monoid (Alt (TYPE Lifted) f a)</div><div>  Functor (Proxy (TYPE Lifted))</div><div>  Foldable (Const (TYPE Lifted) m)</div><div><br></div><div><br></div><div>Thank you very much,</div><div>Takenobu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-11 21:33 GMT+09:00 Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com">takenobu.hs@gmail.com</a>> writes:<br>
<br>
> Hi,<br>
><br>
> I understood one more point. (I share here.)<br>
> The Prelude library document for ghc 8.0 is already well described for<br>
> beginners/newcomers.<br>
><br>
>  * The ($)'s signature of 8.0.1 is already simple (not include forall ...).<br>
>  * The Bool's kind of 8.0.1 is already represented with "TYPE Lifted"<br>
> (changed from '*').<br>
><br>
><br>
> ghc7.8.4 [1]:<br>
><br>
>   data Bool :: *<br>
>   foldr :: (a -> b -> b) -> b -> [a] -> b<br>
>   ($) :: (a -> b) -> a -> b<br>
><br>
><br>
> ghc7.10.4 [2]:<br>
><br>
>   data Bool :: *<br>
>   foldr :: (a -> b -> b) -> b -> t a -> b<br>
>   ($) :: (a -> b) -> a -> b<br>
><br>
><br>
> ghc8.0.1-rc2 [3]:<br>
><br>
>   data Bool :: TYPE Lifted<br>
<br>
</span>To clarify, this isn't actually a change; `*` is merely a synonym for<br>
`TYPE 'Lifted`.<br>
<br>
Moreover, I believe this is a bug. In general we should continue to show<br>
`*` for plain lifted types. If you look at other types in the -rc2<br>
haddocks you will see that they are indeed rendered as they were in<br>
previous releases, with no kind annotation at all. Bool is likely only<br>
rendered differently as it is a wired-in type; we'll need to fix this.<br>
I've opened #11567 to track this issue.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div><br></div>