Update Control.Monad.Unify