<div dir="ltr"><div>Ben Gamari was trying to update my linear package to work with GHC HEAD.</div><div><br></div><div>Along the way he noted an example of the new GND+role inference machinery failing rather spectacularly.</div>
<div><br></div><a href="http://hackage.haskell.org/package/linear-1.3/docs/src/Linear-Affine.html#Point">http://hackage.haskell.org/package/linear-1.3/docs/src/Linear-Affine.html#Point</a><div><div><br></div><div>Note the number of classes that the current proposal would force us to hand implement. </div>
<div><br></div><div>=(</div><div><br></div><div>-Edward</div></div></div>