[Bug 1149554] Review Request: ghc-monad-unify - Generic first-order unification