<div dir="ltr"><div style><span style="font-family:arial,sans-serif;font-size:13px">Alright, you guys convinced me:</span></div><span style="font-family:arial,sans-serif;font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px"><br>
</span></div>+1 for generalization</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">-1 for removal</span><br style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:arial,sans-serif;font-size:13px">-1 for adding more monomorphic stuff to Prelude</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">-1 for doing nothing</span><br>
</div>