<div><div dir="auto">Happy to go with the bogusness if it works better than injective types, feel free to submit a patch. :)</div><br><div class="gmail_quote"><div>On Thu, 14 Dec 2017 at 9:08 pm, Anthony Clayden <<a href="mailto:anthony_clayden@clear.net.nz">anthony_clayden@clear.net.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="gmail_quote"><div dir="auto">On Thu, 14 Dec 2017 at 4:13 PM, Clinton Mead <<a href="mailto:redirect@vodafone.co.nz" target="_blank">redirect@vodafone.co.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>I've panicked GHC enough whilst developing Freelude so whilst I'm not sure exactly what you're saying I'd be hestiant about exploiting anything bogus (8.2 btw seems far more stable than 8.0 btw). </div></blockquote><div dir="auto"><br></div></div></div><div><div class="gmail_quote"><div dir="auto">;-) Fair enough.</div><div dir="auto"><br></div><div dir="auto">"bogus" is SPJ's way of saying: it works, but it isn't supported by deep type theory. 'C'est brutal mais ca marche.'</div><div dir="auto"><br></div><div dir="auto">And that particular exploit has been stable since 2004 at least: the HList library totally relied on it until Closed Type Families arrived.</div><div dir="auto"><br></div><div dir="auto">AntC</div><div dir="auto"><br></div></div></div>
</blockquote></div></div>