<div dir="ltr">Hi,<div><br></div><div>based on requests from a couple of people I added a couple of type-level functions for type nats and type symbols.  Could we get these merged in 7.8?  The relevant commits are:</div><div>
<br></div><div>In GHC:</div><div>5e4bdb5fc5e741522cbb787731422da3f12aa398</div><div>Implement ordering comparisons for type-level naturals and symbols.<br></div><div><br></div><div><br></div><div>In base:</div><div>5edb063688e73ec00fd1f61ac0e8317dd122f44a<br>
</div><div>Comments only.<br></div><div><br></div><div>c1d3546420ee482bbbd9f15d45a6e8a26304d419<br></div><div>Add functions for comparing type-level Nats and Symbols.<br></div><div><br></div><div>Thanks!</div><div>-Iavor</div>
</div>