<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div style="" class="markdown-here-wrapper"
data-md-url="Thunderbird">
<p style="margin: 1.2em 0px ! important;">Why not just make GHCi
output a comment whenever the type involves levity?</p>
<pre style="font-size: 0.85em; font-family: Consolas,Inconsolata,Courier,monospace;font-size: 1em; line-height: 1.2em;margin: 1.2em 0px;"><code style="font-size: 0.85em; font-family: Consolas,Inconsolata,Courier,monospace;margin: 0px 0.15em; padding: 0px 0.3em; white-space: pre-wrap; border: 1px solid rgb(234, 234, 234); background-color: rgb(248, 248, 248); border-radius: 3px; display: inline;white-space: pre; overflow: auto; border-radius: 3px; border: 1px solid rgb(204, 204, 204); padding: 0.5em 0.7em; display: block ! important;display: block; padding: 0.5em; color: rgb(51, 51, 51); background: rgb(248, 248, 255) none repeat scroll 0% 0%;" class="hljs language-haskell">> :t ($)
<span class="hljs-comment">-- Note: the actual type is more generic:</span>
<span class="hljs-comment">--</span>
<span class="hljs-comment">-- ($) :: forall (w :: GHC.Types.Levity) a (b :: TYPE w). (a -> b) -> a -> b</span>
<span class="hljs-comment">--</span>
<span class="hljs-comment">-- For the absolute majority of purposes the simpler type is correct.</span>
<span class="hljs-comment">-- See GHC Guide chapter X point Y to learn more about this.</span>
($) :: (a -> b) -> a -> b
</code></pre>
<div
title="MDH:V2h5IG5vdCBqdXN0IG1ha2UgR0hDaSBvdXRwdXQgYSBjb21tZW50IHdoZW5ldmVyIHRoZSB0eXBlIGludm9sdmVzIGxldml0eT88YnI+PGJyPn5+fiBoYXNrZWxsPGJyPiZndDsgOnQgKCQpPGJyPjxi
cj4tLSBOb3RlOiB0aGUgYWN0dWFsIHR5cGUgaXMgbW9yZSBnZW5lcmljOjxicj4tLTxicj4tLcKg
wqDCoMKgICgkKSA6OiBmb3JhbGwgKHcgOjogR0hDLlR5cGVzLkxldml0eSkgYSAoYiA6OiBUWVBF
IHcpLsKgIChhIC0mZ3Q7IGIpIC0mZ3Q7IGEgLSZndDsgYjxicj4tLTxicj4tLSBGb3IgdGhlIGFi
c29sdXRlIG1ham9yaXR5IG9mIHB1cnBvc2VzIHRoZSBzaW1wbGVyIHR5cGUgaXMgY29ycmVjdC48
YnI+LS0gU2VlIEdIQyBHdWlkZSBjaGFwdGVyIFggcG9pbnQgWSB0byBsZWFybiBtb3JlIGFib3V0
IHRoaXMuPGJyPjxicj4oJCkgOjogKGEgLSZndDsgYikgLSZndDsgYSAtJmd0OyBiPGJyPn5+fjxi
cj4="
style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0;"></div>
</div>
</body>
</html>