Ah, yes. My first reaction to seeing pattern matching in ML: "Hey, this is literally half of unification."