Comment by gergo_barany

What's not the same as what? Based on your examples it looks like you're saying that unification is not the same as pattern matching. But nobody said it was.