Well-Typed LLP @well-typed
Adam Gundry
Unification and type inference algorithms
adamgundry
A type-checker for Haskell with integer constraints
Units of measure as a GHC typechecker plugin