applyUnification :: (WithinTraversable a f, Eq a) =>
  Unification a a -> f -> f
applyUnification NoUnifier = id
applyUnification :: (WithinTraversable a f, Eq a) =>
  Unification a a -> f -> f
applyUnification NoUnifier = id
applyUnification NoUnifier = id