Rank-1 unification, replica of https://hackage.haskell.org/package/unification-fd
Primary LanguageHaskell