Consider the functions swap and pair, defined respectively as

swap $(x,y)=(y,x)$

pair $xy=(x,y)$

$($a$)$ What is the type of swap?

$($b$)$ What is the type of pair?

$($c$)$ Notice that, in the types of swap and pair, that $x$ and $y($from the respective function definitions above$)$ correspond to two different polymorphic type variables. Why is this, i$.$e$.,$ why wouldn't they be the same?