Comment by ufo Comment by ufo 3 days ago 0 replies Copy Link View on Hacker News Indeed. Unification-based type inference doesn't work great when the type constraints are inequalities.