<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Feb 11, 2021, at 10:14 AM, Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi" class="">oleg.grenrus@iki.fi</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="caret-color: rgb(0, 0, 0); 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; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">The "the variable has an explicit type signature that has no free type variables" additions seems arbitrary, it's not motivated in the manual. How much of the "real code" will break if it is removed?</span></div></blockquote></div><br class=""><div class="">A very good question. But I think one that's better to ask in a ticket, so we don't lose these pieces. The question is: do we want to be dumb but predictable, or clever but capricious? Tom seems to be moving toward the latter, while Oleg seems to moving toward the former. I tend to prefer dumb but predictable, too, but I don't know how much code would break. Right now, I think we're dumb and capricious, so that's an unhappy place to be.</div><div class=""><br class=""></div><div class="">Richard</div></body></html>